Nix/System
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
46 commits 1 branch 0 tags 193 KiB
Commit graph

3 commits

Author SHA1 Message Date
Nathan McCarty 6077a6bf8f Add openssl to idris shell 2025-01-08 23:19:42 -05:00
Nathan McCarty 3b2d2617f4 Add raku to idris dev environment 2024-12-11 16:25:28 +00:00
Nathan McCarty 3ac06942ab Idris2 devshell 2024-12-01 10:49:01 +00:00