projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
consistent vars, some paren spacing
[lambda.git]
/
code
/
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
2010-09-23
Jim Pryor
tweak lambda evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
shift over to new parser and evaluator
tree
|
commitdiff
2010-09-23
Jim Pryor
added better parser
tree
|
commitdiff
2010-09-23
Jim Pryor
coverted Oleg's Haskell lib -> ML -> JS
tree
|
commitdiff
2010-09-20
Jim Pryor
tweak ml code/instructions
tree
|
commitdiff
2010-09-20
Jim Pryor
delete ocaml binaries
tree
|
commitdiff
2010-09-20
Jim Pryor
fixed merge
tree
|
commitdiff
2010-09-20
Jim Pryor
move *.js, *.ml -> code/
tree
|
commitdiff