You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Brian Hicks d6879da602 implement eq and ord for shape 1 year ago
nix update to nixpkgs-unstable to get Idris2 0.4.0 1 year ago
script add rlwrap for nicer REPL usage 1 year ago
src implement eq and ord for shape 1 year ago
.envrc nixify 1 year ago
.gitignore ignore /build 1 year ago
learn-idris.ipkg initialize an Idris project 1 year ago
shell.nix add rlwrap for nicer REPL usage 1 year ago