lean4-htt/doc
2020-11-26 08:42:42 -08:00
..
bin
examples/compiler
make doc: Nix: seems to work fine on macOS 2020-11-25 09:48:50 +01:00
.gitignore
book.toml
coding_style.md
commit_convention.md
definitions.md
do.md
faq.md chore: update FAQ 2020-11-23 10:19:15 -08:00
fixing_tests.md
functions.md chore: cleaner structure/class syntax 2020-11-24 13:07:43 -08:00
highlight.js doc: add typeclass.md 2020-11-26 08:42:42 -08:00
lean3changes.md chore: cleaner structure/class syntax 2020-11-24 13:07:43 -08:00
mdbook.md feat: Nix: mdbook 2020-11-24 19:16:27 +01:00
namespaces.md
sections.md
stringinterp.md chore: cleaner structure/class syntax 2020-11-24 13:07:43 -08:00
SUMMARY.md doc: add typeclass.md 2020-11-26 08:42:42 -08:00
syntax_highlight_in_latex.md
tactics.md doc: expand tactics.md 2020-11-24 16:56:09 -08:00
test
tour.md chore: cleaner structure/class syntax 2020-11-24 13:07:43 -08:00
typeclass.md doc: add typeclass.md 2020-11-26 08:42:42 -08:00
whatIsLean.md doc: add typeclass.md 2020-11-26 08:42:42 -08:00