git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
aa7262e
help
sign in
history of
lib/base.ipkg
all commits
11d1aa3
Add Prelude.Function to module list in base.ipkg
Edwin Brady
14 years ago
2a536ec
moved morphisms to lib/Data
raichoo
14 years ago
9e58e28
Type safe message passing concurrency
Edwin Brady
14 years ago
bba84d5
Added raw (non-typesafe) message passing library (System.Concurrency.Raw)
Edwin Brady
14 years ago
71a3efa
Library now builds with "--total"
Edwin Brady
14 years ago
5c9a88a
uppercase modulenames
raichoo
14 years ago
f395de7
simple arrows
raichoo
14 years ago
1e52324
Added simple library packaging system Now used for the prelude (see lib/base.ipkg)
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