nix
|
update to nixpkgs-unstable to get Idris2 0.4.0
|
2021-08-03 06:05:04 -05:00 |
script
|
add rlwrap for nicer REPL usage
|
2021-08-03 06:05:15 -05:00 |
src
|
implement eq and ord for shape
|
2021-11-08 09:52:39 -06:00 |
.envrc
|
nixify
|
2021-07-30 05:54:38 -05:00 |
.gitignore
|
ignore /build
|
2021-07-30 06:30:08 -05:00 |
learn-idris.ipkg
|
initialize an Idris project
|
2021-07-30 06:26:26 -05:00 |
shell.nix
|
add rlwrap for nicer REPL usage
|
2021-08-03 06:05:15 -05:00 |