lean4-htt/examples
2021-09-20 18:14:50 -04:00
..
bootstrap refactor: merge rootDir into srcDir 2021-09-19 19:59:07 -04:00
deps chore: revert casing change and instead output lower-cased bin 2021-09-13 13:21:35 -04:00
ffi test: add ffi-dep example and fix ffi example 2021-09-19 20:01:55 -04:00
ffi-dep chore: fix ffi-dep shell script permissions 2021-09-19 20:09:56 -04:00
git chore: revert casing change and instead output lower-cased bin 2021-09-13 13:21:35 -04:00
hello chore: bin/Hello -> bin/hello 2021-09-13 13:28:54 -04:00
init feat: don't overwite existing files on init + test 2021-09-17 16:26:25 -04:00
io feat: add pure Packager variant 2021-09-19 19:58:30 -04:00
main test: add alternate binRoot example (called main) 2021-09-16 15:13:11 -04:00
Makefile test: add clean* targets to Makefile 2021-09-20 18:14:50 -04:00