search

leanprover-community / lean4-metaprogramming-book

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

update build command in README #124

Closed Seasawher closed 6 months ago

Seasawher commented 6 months ago

This is not required, but if you want to build the markdown files, you can do so by running lake exe mdgen lean md.

please use lake run build. I forget to update this. sorry.