|
src
|
idris2 template
|
2024-03-05 16:54:28 +01:00 |
|
.envrc
|
idris2 template
|
2024-03-05 16:54:28 +01:00 |
|
.gitignore
|
idris2 template
|
2024-03-05 16:54:28 +01:00 |
|
flake.lock
|
idris2 template
|
2024-03-05 16:54:28 +01:00 |
|
flake.nix
|
idris2 template
|
2024-03-05 16:54:28 +01:00 |
|
package.ipkg
|
idris2 template
|
2024-03-05 16:54:28 +01:00 |
