issues
search
leanprover-community
/
lean4-metaprogramming-book
https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
211
stars
51
forks
source link
Sections on Lean's monads and also Errors
#21
Closed
EdAyers
closed
2 years ago