Nathan McCarty 526cb2c209 Nix build settings on mac		2023-03-27 20:08:06 -04:00
..
configuration.nix	Nix build settings on mac	2023-03-27 20:08:06 -04:00
home.nix	Enable idris2 on mac	2023-03-27 19:50:58 -04:00