lean4-htt/examples/hello/bootstrapped-test.sh
2021-09-13 13:28:54 -04:00

3 lines
67 B
Bash
Executable file

./clean.sh
../bootstrap/build/bin/lake build-bin
./build/bin/hello