git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
047be9e
help
sign in
Idris-dev
/
lib
4 folders, 6 files
../
control/
Added some libraries, fixed some case statement bugs
15 years ago
language/
Added support/ directory so that library can use C support files
15 years ago
network/
Changed record update syntax... ...since {} is too overloaded now record { field = val } rec Also put records in their own namespace
15 years ago
prelude/
added word-function as in haskell in prelude.string.
15 years ago
Makefile
Added support/ directory so that library can use C support files
15 years ago
builtins.idr
Remove Eq constraint from Num
15 years ago
checkall.idr
Added support/ directory so that library can use C support files
15 years ago
io.idr
Add mkLazyForeign primitive
15 years ago
prelude.idr
Fix conflicts and compile errors in recent merge
15 years ago
system.idr
Add mkLazyForeign primitive
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