Nathan McCarty 3b2d2617f4 Add raku to idris dev environment		2024-12-11 16:25:28 +00:00
..
idris2.nix	Add raku to idris dev environment	2024-12-11 16:25:28 +00:00
rust.nix	Tweak rust shell	2024-12-01 10:49:05 +00:00