points/points-idr
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Safe points field implementation in Idris
36 commits 1 branch 0 tags 120 KiB
  • Idris 94.1%
  • Nix 5.9%
Find a file
Exact
Evgeny Kurnevsky 7ec1c1627a
 Fix ambiguous surrounding.
2025-12-14 15:09:10 +01:00
bench Add refc backend. 2024-09-22 14:58:46 +02:00
Points Fix ambiguous surrounding. 2025-12-14 15:09:10 +01:00
test Fix ambiguous surrounding. 2025-12-14 15:09:10 +01: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