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 d0311bbca5 nix flake update 4 months ago
TAP docstrings 6 months ago
example examples 6 months ago
.gitignore ignore "result" 6 months ago
TAP.idr add testThrowsIO 6 months ago
acsl.txt first 6 months ago
default.nix first 6 months ago
flake.lock nix flake update 4 months ago
flake.nix idris doesn't support ARM i don't think 6 months ago
tap.ipkg uncomment sourceloc 6 months ago