git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
be2b9bc
help
sign in
history of
src/Core/TT.hs
all commits
1b6709f
Pretty printing data declarations
Edwin Brady
15 years ago
a8768af
Parser now fills in implicit arguments
Edwin Brady
15 years ago
82585e7
Some ghc 6.12 compatibility
Edwin Brady
15 years ago
554c395
Made a start on the high level language
Edwin Brady
15 years ago
ff5f762
Rename Core to TT
Edwin Brady
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