git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
d9a7b37
help
sign in
Idris-dev
/
src
5 folders, 2 files
../
Core/
Fix bug in compilation of optimised Nats
13 years ago
IRTS/
Fix bug in compilation of optimised Nats
13 years ago
Idris/
Partially defined names should not reduce at compile-time
13 years ago
Pkg/
Some packaging fixes
13 years ago
Util/
Prevent duplicate dynamic linking
13 years ago
.ghci
Added .ghci specifying language extensions.
13 years ago
Main.hs
Add command line option to control REPL colours
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