Nathan McCarty ffe4a6c26b Enable idris2 on mac		2023-03-27 19:50:58 -04:00
..
configuration.nix	Start port to darwin	2022-10-15 04:58:46 -04:00
home.nix	Enable idris2 on mac	2023-03-27 19:50:58 -04:00