diff options
| author | Miran Bastaja <mbastaja@sorre.xyz> | 2025-03-11 15:10:39 +0100 |
|---|---|---|
| committer | Miran Bastaja <mbastaja@sorre.xyz> | 2025-03-11 15:10:44 +0100 |
| commit | 750640348cd16c496a0fbedd6f2a8f7da1b36915 (patch) | |
| tree | 2e6dddca567fca249c85537b93da5756badf83b4 /share | |
| parent | 8adcaf27bfc508f02418a1a0c340687c5b7e0b2b (diff) | |
dev-stuff: add idris2
Diffstat (limited to 'share')
| -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 |