git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
dd03041
help
sign in
Idris-dev
/
lib
1 folder, 5 files
../
prelude/
More library functions, and a fix for building auxiliary with functions
15 years ago
Makefile
Fixed type class resolution bug
15 years ago
builtins.idr
Fixed type class resolution bug
15 years ago
io.idr
Some file handling
15 years ago
prelude.idr
Fix obscure where naming bug
15 years ago
system.idr
Added system module (getArgs, getEnv, exit)
15 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list