diff options
| -rw-r--r-- | share/home/dev-stuff.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/share/home/dev-stuff.nix b/share/home/dev-stuff.nix index 4dbbe7f..680f1e1 100644 --- a/share/home/dev-stuff.nix +++ b/share/home/dev-stuff.nix @@ -41,6 +41,7 @@ in podman-compose git-annex git-remote-gcrypt + idris2 # TUI/GUI zed-editor |