git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
e23ebda
help
sign in
Idris-dev
/
libs
/
prelude
2 folders, 5 files
../
Decidable/
Reformulate decEq for Vect.
13 years ago
Prelude/
Fix List.split
12 years ago
Builtins.idr
trans doesn't need homogeneous equalities
13 years ago
IO.idr
Remove prim_io_bind and prim_io_return from run__IO.
13 years ago
Makefile
Fix .PHONY targets in Makefiles
13 years ago
Prelude.idr
Add primitive for stdout, stderr
12 years ago
prelude.ipkg
Add Uninhabited to Prelude
13 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