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 76529d284d add stuff from book club 2 days ago
nix update to nixpkgs-unstable to get Idris2 0.4.0 2 months ago
script add rlwrap for nicer REPL usage 2 months ago
src add stuff from book club 2 days ago
.envrc nixify 2 months ago
.gitignore ignore /build 2 months ago
learn-idris.ipkg initialize an Idris project 2 months ago
shell.nix add rlwrap for nicer REPL usage 2 months ago