git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
be2d7fa
help
sign in
Idris-dev
/
lib
9 files
../
Makefile
Not really mini any more...
15 years ago
builtins.idr
Add FalseElim as a primitive
15 years ago
either.idr
either.idr
15 years ago
io.idr
Make do notation use Monad class
15 years ago
list.idr
Better type class resolutions
15 years ago
maybe.idr
Eq class, Nat is a Num
15 years ago
nat.idr
Added Integer (but an Epic bug prevents them compiling properly)
15 years ago
prelude.idr
either.idr
15 years ago
vect.idr
/= for Fin
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