test: -rm -r Epic -rm -r tests/bin mkdir tests/bin agda --epic RunTests.agda ./RunTests