git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
4e69658
help
sign in
Idris-dev
/
libs
/
prelude
3 folders, 5 files
../
Decidable/
Better DecEq implementations on primitives
11 years ago
Language/
Store file with constraints + export
10 years ago
Prelude/
Comments in Prelude.Traversable
10 years ago
Builtins.idr
Fix comment typos
10 years ago
IO.idr
Implement primitives for accessing floats
11 years ago
Makefile
Modified makefiles to add local IdrisDoc generation.
12 years ago
Prelude.idr
Add shiftL and shiftR
10 years ago
prelude.ipkg
Move Accessible to Prelude
11 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