|
src
|
Wording tweak
|
2025-07-05 23:56:19 -04:00 |
|
.gitignore
|
Move idris projects to right place
|
2025-01-20 21:54:54 -05:00 |
|
Idris.ipkg
|
Proof-Search Friendly Non-Equality Proofs
|
2025-07-05 23:53:41 -04:00 |
|
pack.toml
|
Move idris projects to right place
|
2025-01-20 21:54:54 -05:00 |
