projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
lambda.git
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Jim Pryor
some functional code -> iterative
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Jim Pryor
reduction strategy should be 'false' for normal order...
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Jim Pryor
add terminal ! and ? to lexer
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
added temps
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
added temps
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
added temps
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
added temps
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
added temps
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
added temps
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
added temps
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-26
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-09-25
Chris Barker
new text
commit
|
commitdiff
|
tree
|
snapshot
2010-09-25
Chris Barker
new text
commit
|
commitdiff
|
tree
|
snapshot
2010-09-25
Chris Barker
new text
commit
|
commitdiff
|
tree
|
snapshot
2010-09-25
Chris Barker
new text
commit
|
commitdiff
|
tree
|
snapshot
2010-09-25
Chris Barker
new text
commit
|
commitdiff
|
tree
|
snapshot
2010-09-25
Chris Barker
new text
commit
|
commitdiff
|
tree
|
snapshot
2010-09-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
week3: tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
cleanup
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
lambda eval: constants now seem OK
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
lambda eval: constants now seem OK
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
tweak lambda evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
shift over to new parser and evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
prep for new evaluator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
added better parser
commit
|
commitdiff
|
tree
|
snapshot
2010-09-23
Jim Pryor
coverted Oleg's Haskell lib -> ML -> JS
commit
|
commitdiff
|
tree
|
snapshot
2010-09-21
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-21
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-21
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-21
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-21
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-21
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-21
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-21
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-21
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
reorganize links to notes
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
switched to only Chris' lambda calculator
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
numbers: tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
using: tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
start linking to lambda calculators
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
delete ocaml binaries
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
fixed merge
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
move *.js, *.ml -> code/
commit
|
commitdiff
|
tree
|
snapshot
next