rhiannon morris 45825ebc17 | ||
---|---|---|
src/Quox | ||
tests | ||
.gitignore | ||
Main.idr | ||
Makefile | ||
README.md | ||
acsl.txt | ||
qtuwu.png | ||
quox-exe.ipkg | ||
quox-nat.agda | ||
quox.bib | ||
quox.ipkg |
rhiannon morris 45825ebc17 | ||
---|---|---|
src/Quox | ||
tests | ||
.gitignore | ||
Main.idr | ||
Makefile | ||
README.md | ||
acsl.txt | ||
qtuwu.png | ||
quox-exe.ipkg | ||
quox-nat.agda | ||
quox.bib | ||
quox.ipkg |