feat: prefix filenames with numbers, so that they are sorted correctly

leanprover-community / lean4-metaprogramming-book

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

Apache License 2.0

204 stars 47 forks source link

feat: prefix filenames with numbers, so that they are sorted correctly #104

Closed jcommelin closed 1 year ago

jcommelin commented 1 year ago

This is helpful when reading/browsing the book from an editor, such as VSCode.

Julian commented 1 year ago

(My participation in the above was mostly tweaking the README to not be broken), so going to also say LGTM I think on the change itself, seems reasonable, I'd merge.