git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
de0bcbd
help
sign in
history of
lib/Data/SortedMap.idr
all commits
0aca9f2
New module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging around when building packages, and has required some fixes to imports in the library.
Edwin Brady
13 years ago
2311d55
rename O into Z
raichoo
13 years ago
ee06705
rename fmap to map
Melvar Chen
13 years ago
7bfa10c
Some unification fixes
Edwin Brady
13 years ago
d17df01
Renamed Map and Set to SortedMap and SortedSet
Daniel Waterworth
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