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 3 months ago
nix update to nixpkgs-unstable to get Idris2 0.4.0 6 months ago
script add rlwrap for nicer REPL usage 6 months ago
src implement eq and ord for shape 3 months ago
.envrc nixify 6 months ago
.gitignore ignore /build 6 months ago
learn-idris.ipkg initialize an Idris project 6 months ago
shell.nix add rlwrap for nicer REPL usage 6 months ago