projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
release existing versions, I'm taking too long
[lambda.git]
/
code
/
2015-02-12
Chris
added discussion of computation
tree
|
commitdiff
2015-02-12
Jim
chomp whitespace
tree
|
commitdiff
2015-02-06
jim
update Lambda Calculator link
tree
|
commitdiff
2015-02-05
Chris
Merge branch 'working'
tree
|
commitdiff
2015-02-05
Jim
try adding lambda evaluator
tree
|
commitdiff
2015-02-01
Chris
stupid git
tree
|
commitdiff
2015-02-01
Chris
adjustments, notes week 1
tree
|
commitdiff
2015-02-01
Jim
copy some more over from v1
tree
|
commitdiff
2015-01-29
Linux User
Move everything to old
tree
|
commitdiff
2011-06-08
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
tree
|
commitdiff
2011-06-02
Jim Pryor
Merge branch 'pryor'
tree
|
commitdiff
2011-06-02
Jim Pryor
added same-fringe
tree
|
commitdiff
2011-05-29
Jim Pryor
Merge branch 'pryor'
tree
|
commitdiff
2011-05-29
Jim Pryor
monads: add permute,select for List.T
tree
|
commitdiff
2011-02-20
Jim Pryor
Merge branch 'pryor'
tree
|
commitdiff
2011-02-20
Jim Pryor
monads.ml tweak
tree
|
commitdiff
2010-12-23
Jim Pryor
add expose to monads.ml
tree
|
commitdiff
2010-12-13
Jim Pryor
delete tests from code
tree
|
commitdiff
2010-12-13
Jim Pryor
transformers finish
tree
|
commitdiff
2010-12-13
Jim Pryor
update tree_monadize.ml
tree
|
commitdiff
2010-12-13
Jim Pryor
clean up tree_monadizer.ml
tree
|
commitdiff
2010-12-13
Jim Pryor
Expand monad_transformers re elevate, layering
tree
|
commitdiff
2010-12-13
Jim Pryor
rename some stuff
tree
|
commitdiff
2010-12-13
Jim Pryor
rename some stuff
tree
|
commitdiff
2010-12-13
Jim Pryor
rename some stuff
tree
|
commitdiff
2010-12-12
Jim Pryor
Leaf_monad -> Tree_monad
tree
|
commitdiff
2010-12-12
Jim Pryor
point to monad_library
tree
|
commitdiff
2010-12-12
Jim Pryor
tweak monads-lib
tree
|
commitdiff
2010-12-12
Jim Pryor
tweak monads-lib
tree
|
commitdiff
2010-12-11
Jim Pryor
tweak monads-lib
tree
|
commitdiff
2010-12-11
Jim Pryor
monads lib: made all monad types doubly param'd; requir...
tree
|
commitdiff
2010-12-11
Jim Pryor
tweak monads-lib
tree
|
commitdiff
2010-12-11
Jim Pryor
monads.ml: make Error.TP,TP2 drop fail to Wrapped.zero
tree
|
commitdiff
2010-12-11
Jim Pryor
monads.ml: add TP2 to Error, make Error.run less exn-y
tree
|
commitdiff
2010-12-11
Jim Pryor
monads.ml: add TP to Error
tree
|
commitdiff
2010-12-11
Jim Pryor
tweak monads-lib
tree
|
commitdiff
2010-12-11
Jim Pryor
tweak monads-lib, migrate to T2
tree
|
commitdiff
2010-12-11
Jim Pryor
tweak monads-lib, start T2
tree
|
commitdiff
2010-12-11
Jim Pryor
push monads library
tree
|
commitdiff
2010-12-08
Jim Pryor
extend Chris' arg reversal to tree_monadize.ml
tree
|
commitdiff
2010-12-08
Jim Pryor
Merge branch 'pryor'
tree
|
commitdiff
2010-12-08
Jim Pryor
tweak tree_monadize.ml
tree
|
commitdiff
2010-12-07
Jim Pryor
Merge branch 'pryor'
tree
|
commitdiff
2010-12-07
Jim Pryor
monad_transformers: develop
tree
|
commitdiff
2010-12-06
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
tree
|
commitdiff
2010-12-05
Jim Pryor
tree_monadize tweaks
tree
|
commitdiff
2010-12-05
Jim Pryor
tree_monadize tweaks
tree
|
commitdiff
2010-12-05
Jim Pryor
expand tree_monadize explanation
tree
|
commitdiff
2010-12-02
Jim Pryor
changed my unit_M to Chris' convention of M_unit, for...
tree
|
commitdiff
2010-12-02
Jim Pryor
tweak whole site: caps for Reader monad, etc
tree
|
commitdiff
2010-12-02
Jim Pryor
code/tree_monadize.ml
tree
|
commitdiff
2010-12-01
Jim Pryor
fix manip trees
tree
|
commitdiff
2010-11-26
Jim Pryor
tweak calc improvements
tree
|
commitdiff
2010-11-26
Jim Pryor
tweak calc improvements
tree
|
commitdiff
2010-11-26
Jim Pryor
tweak calc improvements
tree
|
commitdiff
2010-11-26
Jim Pryor
tweak calc improvements
tree
|
commitdiff
2010-11-26
Jim Pryor
tweak calc improvements
tree
|
commitdiff
2010-11-26
Jim Pryor
tweak calc improvements
tree
|
commitdiff
2010-11-26
Jim Pryor
expand calc improvements
tree
|
commitdiff
2010-10-17
Jim Pryor
code cleanup
tree
|
commitdiff
2010-10-17
Jim Pryor
code cleanup
tree
|
commitdiff
2010-10-17
Jim Pryor
code cleanup
tree
|
commitdiff
2010-10-17
Jim Pryor
Revert "changes to offsite-reading"
tree
|
commitdiff
2010-10-17
Chris Barker
changes to offsite-reading
tree
|
commitdiff
2010-10-17
Chris Barker
changes to offsite-reading
tree
|
commitdiff
2010-10-04
Jim Pryor
added more combinators to parser
tree
|
commitdiff
2010-10-03
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
tree
|
commitdiff
2010-10-03
Jim Pryor
lexer tweak
tree
|
commitdiff
2010-10-03
Jim Pryor
lexer tweak
tree
|
commitdiff
2010-10-02
Chris Barker
sigh
tree
|
commitdiff
2010-09-30
Jim Pryor
tokens.js: allow / in names
tree
|
commitdiff
2010-09-29
Jim Pryor
lambda.js: tweak
tree
|
commitdiff
2010-09-29
Jim Pryor
lambda.js: tweak
tree
|
commitdiff
2010-09-29
Jim Pryor
lambda.js: tweak
tree
|
commitdiff
2010-09-29
Jim Pryor
lambda.js: try trampolining evals
tree
|
commitdiff
2010-09-27
Chris Barker
Merge branch 'master' of ssh://lambda@server.philosophy...
tree
|
commitdiff
2010-09-26
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
tree
|
commitdiff
2010-09-26
Jim Pryor
some functional code -> iterative
tree
|
commitdiff
2010-09-26
Jim Pryor
add terminal ! and ? to lexer
tree
|
commitdiff
2010-09-26
Chris Barker
edits
tree
|
commitdiff
2010-09-26
Chris Barker
edits
tree
|
commitdiff
2010-09-26
Chris Barker
edits
tree
|
commitdiff
2010-09-26
Chris Barker
edits
tree
|
commitdiff
2010-09-26
Chris Barker
edits
tree
|
commitdiff
2010-09-26
Chris Barker
edits
tree
|
commitdiff
2010-09-26
Chris Barker
edits
tree
|
commitdiff
2010-09-26
Chris Barker
edits
tree
|
commitdiff
2010-09-23
Jim Pryor
cleanup
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
next