|
devshells
|
Add raku to idris dev environment
|
2024-12-11 16:25:28 +00:00 |
|
home-manager
|
Add tree-sitter grammars to emacs
|
2024-12-02 06:43:42 +00:00 |
|
nixos
|
Add emacs
|
2024-11-29 10:47:47 +00:00 |
|
.gitignore
|
Initial commit
|
2024-11-26 08:57:11 +00:00 |
|
flake.lock
|
Update flake
|
2024-12-02 06:43:45 +00:00 |
|
flake.nix
|
Idris2 devshell
|
2024-12-01 10:49:01 +00:00 |
