Skip to content

Multi-arg lean_inductive!

85187ff
Select commit
Loading
Failed to load commit list.
Merged

feat: LeanCtorLayout trait and lean_inductive! macro #8

Multi-arg lean_inductive!
85187ff
Select commit
Loading
Failed to load commit list.