Go to file
Brian Hicks d6879da602 implement eq and ord for shape 2021-11-08 09:52:39 -06:00
nix update to nixpkgs-unstable to get Idris2 0.4.0 2021-08-03 06:05:04 -05:00
script add rlwrap for nicer REPL usage 2021-08-03 06:05:15 -05:00
src implement eq and ord for shape 2021-11-08 09:52:39 -06:00
.envrc nixify 2021-07-30 05:54:38 -05:00
.gitignore ignore /build 2021-07-30 06:30:08 -05:00
learn-idris.ipkg initialize an Idris project 2021-07-30 06:26:26 -05:00
shell.nix add rlwrap for nicer REPL usage 2021-08-03 06:05:15 -05:00