basic test framework for idris 2
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
rhiannon morris 83ae1f835b idris doesn't support ARM i don't think 1 month ago
TAP docstrings 1 month ago
example examples 1 month ago
.gitignore ignore "result" 1 month ago
TAP.idr add testThrowsIO 1 month ago
acsl.txt first 1 month ago
default.nix first 1 month ago
flake.lock flake stuff 1 month ago
flake.nix idris doesn't support ARM i don't think 1 month ago
tap.ipkg uncomment sourceloc 1 month ago