projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
finish reworking manip trees
[lambda.git]
/
lambda_library.mdwn
2010-10-17
Chris Barker
changes to offsite-reading
blob
|
commitdiff
2010-10-07
Jim Pryor
library tweaks
blob
|
commitdiff
2010-10-07
Jim Pryor
add left,CPS lists to library
blob
|
commitdiff
|
diff to current
2010-10-04
Jim Pryor
Merge branch 'pryor'
blob
|
commitdiff
|
diff to current
2010-10-04
Jim Pryor
tweak Oleg's rev,list_equal
blob
|
commitdiff
|
diff to current
2010-10-04
Jim Pryor
add in Oleg's list_equal
blob
|
commitdiff
|
diff to current
2010-10-04
Jim Pryor
library: added Oleg's revappend
blob
|
commitdiff
|
diff to current
2010-10-04
Jim Pryor
library: tweak gcd
blob
|
commitdiff
|
diff to current
2010-10-04
Jim Pryor
added gcd,lcm to library
blob
|
commitdiff
|
diff to current
2010-10-04
Jim Pryor
Merge branch 'pryor'
blob
|
commitdiff
|
diff to current
2010-10-04
Jim Pryor
assign 4: hints for list_equal
blob
|
commitdiff
|
diff to current
2010-10-04
Chris Barker
edits
blob
|
commitdiff
|
diff to current
2010-10-03
Jim Pryor
library: 1st,2nd->fst,snd
blob
|
commitdiff
|
diff to current
2010-10-03
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
blob
|
commitdiff
|
diff to current
2010-10-03
Jim Pryor
add list_equal to library (commented out)
blob
|
commitdiff
|
diff to current
2010-10-03
Jim Pryor
library tweak
blob
|
commitdiff
|
diff to current
2010-10-03
Jim Pryor
Merge branch 'pryor'
blob
|
commitdiff
|
diff to current
2010-10-03
Jim Pryor
arithmetic -> lambda_library
blob
|
commitdiff
|
diff to current