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