 Nathan McCarty
|
bcd0288107
|
Seperate out raku from idris environment
|
2025-01-09 11:59:37 -05:00 |
|
|
Nathan McCarty
|
cf648f81ad
|
Nixfmt
|
2025-01-09 10:58:16 -05:00 |
|
|
Nathan McCarty
|
6077a6bf8f
|
Add openssl to idris shell
|
2025-01-08 23:19:42 -05:00 |
|
|
Nathan McCarty
|
0273032031
|
Add raku devshell
|
2024-12-18 07:10:43 +00:00 |
|
|
Nathan McCarty
|
3b2d2617f4
|
Add raku to idris dev environment
|
2024-12-11 16:25:28 +00:00 |
|
|
Nathan McCarty
|
5fc17343cf
|
Tweak rust shell
|
2024-12-01 10:49:05 +00:00 |
|
|
Nathan McCarty
|
3ac06942ab
|
Idris2 devshell
|
2024-12-01 10:49:01 +00:00 |
|
|
Nathan McCarty
|
b136c7988e
|
Add rust devshell
Add sccache
Add clang so rust can actually build
|
2024-11-30 09:26:17 +00:00 |
|