Safe points field implementation in Idris
Find a file
2024-09-28 13:00:23 +02:00
bench Add refc backend. 2024-09-22 14:58:46 +02:00
Points Save last capture chains. 2024-09-23 22:23:31 +02:00
test Add more tests. 2024-09-21 15:05:45 +02:00
.editorconfig Initial commit. 2024-09-12 09:42:59 +02:00
.envrc Initial commit. 2024-09-12 09:42:59 +02:00
.gitignore Initial commit. 2024-09-12 09:42:59 +02:00
flake.lock Use flake-utils. 2024-09-28 13:00:23 +02:00
flake.nix Use flake-utils. 2024-09-28 13:00:23 +02:00
LICENSE.txt Initial commit. 2024-09-12 09:42:59 +02:00
points.ipkg Add simple test. 2024-09-21 11:38:20 +02:00