Nathan McCarty 6414dda04f Set shell on darwin		2023-03-29 21:08:55 -04:00
..
configuration.nix	Set shell on darwin	2023-03-29 21:08:55 -04:00
home.nix	Enable idris2 on mac	2023-03-27 19:50:58 -04:00