templates/idris2
2024-06-08 22:41:32 +02: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 Update all templates 2024-06-08 22:41:32 +02: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