search

leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
217 stars 55 forks source link

Rework the elaboration chapter #18

Closed hargoniX closed 2 years ago

hargoniX commented 2 years ago

Less monad stack more practical!