git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
a2fa0fa
help
sign in
history of
lib/Data/Vect/Quantifiers.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
61d39da
Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc
Edwin Brady
13 years ago
52b4e06
Define Any/All quantifiers for Vect
Benjamin Saunders
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