git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
aa062fc
help
sign in
history of
libs/base/System.idr
all commits
68c019a
Change export qualifier keywords
Edwin Brady
11 years ago
9855481
Update System.idr
Andrew Stewart Gibson
11 years ago
03b9980
Change internal names of pattern bindings
Edwin Brady
11 years ago
5b841fb
Fix typo in doc comment
Jeremy W. Sherman
11 years ago
8c28352
Some Prelude reorganisation
Edwin Brady
11 years ago
dc27739
Fix 'time' to return Integer rather than Int
Edwin Brady
11 years ago
d5377be
New language-dependent FFI
Edwin Brady
12 years ago
7b5f4aa
Fix visibility of imported things
Edwin Brady
12 years ago
4c46b0e
Fix warning in io003 on clang
Edwin Brady
12 years ago
66235b7
add system FFun to base/System
Heather
12 years ago
d53154a
Add documentation in new format for various libs
David Raymond Christiansen
13 years ago
94750e3
Add 'time' function
Edwin Brady
13 years ago
40924dc
Moved libraries around, removed 'effects' flag
Edwin Brady
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