6 commits

Author	SHA1	Message	Date
Nathan McCarty	29fd118635	Reformat	2025-01-13 14:53:42 -05:00
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	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