|
compiler
|
chore: move tests to new frontend
|
2020-10-23 14:07:26 -07:00 |
|
bintree.lean
|
doc: clean up examples markup
|
2022-04-06 09:06:49 -07:00 |
|
bintree.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
deBruijn.lean
|
doc: clean up examples markup
|
2022-04-06 09:06:49 -07:00 |
|
deBruijn.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
interp.lean
|
chore: use cdot
|
2022-04-06 16:32:20 -07:00 |
|
interp.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
palindromes.lean
|
doc: clean up examples markup
|
2022-04-06 09:06:49 -07:00 |
|
palindromes.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
phoas.lean
|
chore: remove unnecessary annotation
|
2022-04-06 16:38:16 -07:00 |
|
phoas.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
tc.lean
|
chore: break long lines
|
2022-04-06 16:37:38 -07:00 |
|
tc.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
test_single.sh
|
chore: add doc/examples to the test suite
|
2022-03-24 15:20:18 -07:00 |
