Rachel Lambda Samuelsson ca26aaf782 idris2 template		2024-03-05 16:54:28 +01:00
..
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