| .. | ||
| compiler | ||
| ICERM2022 | ||
| NFM2022 | ||
| bintree.lean | ||
| bintree.lean.md | ||
| deBruijn.lean | ||
| deBruijn.lean.md | ||
| interp.lean | ||
| interp.lean.md | ||
| palindromes.lean | ||
| palindromes.lean.md | ||
| phoas.lean | ||
| phoas.lean.md | ||
| tc.lean | ||
| tc.lean.md | ||
| test_single.sh | ||
| widgets.lean | ||
| widgets.lean.md | ||
| .. | ||
| compiler | ||
| ICERM2022 | ||
| NFM2022 | ||
| bintree.lean | ||
| bintree.lean.md | ||
| deBruijn.lean | ||
| deBruijn.lean.md | ||
| interp.lean | ||
| interp.lean.md | ||
| palindromes.lean | ||
| palindromes.lean.md | ||
| phoas.lean | ||
| phoas.lean.md | ||
| tc.lean | ||
| tc.lean.md | ||
| test_single.sh | ||
| widgets.lean | ||
| widgets.lean.md | ||
