git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
dcdebfc
help
sign in
history of
support/Makefile
all commits
23a28d5
Fix .PHONY targets in Makefiles
Andy Morris
13 years ago
1d58332
Don't build thread support (because it doesn't work...)
Edwin Brady
14 years ago
6633483
Add mkLazyForeign primitive
Edwin Brady
15 years ago
46b7a4e
Install support headers; allow arbitrary types in foreign calls
Edwin Brady
15 years ago
e7906ba
Added support/ directory so that library can use C support files
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