brian
/
learn-idris
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
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.
26 Commits
1 Branch
0 Tags
61 KiB
 
 
 
Tag: Branch: Tree: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
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