added subsections to make it easier to eyeball content - Githubissues

leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/

Apache License 2.0

213 stars 53 forks source link

added subsections to make it easier to eyeball content #142

Closed ydewit closed 1 month ago

ydewit commented 3 months ago

Small addition to improve readability while reading the latest book.

Julian commented 1 month ago

Thanks!