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