git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
28b68fd
help
sign in
history of
src/RTS/CodegenC.hs
all commits
fab5d73
Adding support for Windows MingW32
chetant
14 years ago
2ec60c8
Added binding form to syntax rules (and updated tutorial accordingly)
Edwin Brady
14 years ago
168278e
Hook up new output; deal with exact calls
Edwin Brady
14 years ago
0887715
Output C file (not finished...)
Edwin Brady
14 years ago
fa0ecde
Started C generation
Edwin Brady
14 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