projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
change week8 ramble title
[lambda.git]
/
code
/
2015-04-05
Jim
Merge branch 'working'
tree
|
commitdiff
2015-04-05
Jim
add Juli8-v1.3
tree
|
commitdiff
2015-04-04
Jim
Merge branch 'working'
tree
|
commitdiff
2015-04-04
Jim
tweak reader2.ml, add Juli8.tgz
tree
|
commitdiff
2015-04-04
Jim
Merge branch 'working'
tree
|
commitdiff
2015-04-04
Jim
add/update monad code
tree
|
commitdiff
2015-04-03
Chris
arith1.ml
tree
|
commitdiff
2015-04-01
Jim
Merge branch 'working'
tree
|
commitdiff
2015-04-01
Jim
add OCaml main+list+monad libraries
tree
|
commitdiff
2015-03-30
Chris
reader monad
tree
|
commitdiff
2015-03-25
Jim
typo in untyped_evaluator
tree
|
commitdiff
2015-03-25
Jim
fix another typo on ski_evaluator
tree
|
commitdiff
2015-03-25
Jim
fix typo on ski_evaluator
tree
|
commitdiff
2015-03-25
Jim
fix result types on ski_evaluator
tree
|
commitdiff
2015-03-25
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-25
Jim
add comments to ski_evaluator
tree
|
commitdiff
2015-03-25
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-25
Jim
update untyped_eval to 1.7
tree
|
commitdiff
2015-03-24
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-24
Jim
Revert "update untyped_eval to 1.6"
tree
|
commitdiff
2015-03-24
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-24
Jim
update untyped_eval to 1.6
tree
|
commitdiff
2015-03-24
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-24
Jim
update untyped_eval to 1.5
tree
|
commitdiff
2015-03-24
Jim
update untyped_eval to 1.4
tree
|
commitdiff
2015-03-24
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-24
Jim
symlink doesn't work
tree
|
commitdiff
2015-03-24
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-24
Jim
update untyped code
tree
|
commitdiff
2015-03-24
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-24
Jim
tweak untyped_evaluators, add symlink
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
add V combinator to lambda_evaluator
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
add code/interp-1.2.tgz
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
untyped eval: tweaks
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
untyped eval: V[12]-->V[AB]
tree
|
commitdiff
2015-03-23
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-23
Jim
add some old code, let's review/update before publishing
tree
|
commitdiff
2015-03-22
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-22
Jim
change env implementations to assoc list
tree
|
commitdiff
2015-03-22
Jim
add comments to untyped_evals again
tree
|
commitdiff
2015-03-22
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-22
Jim
add comments to untyped_evals
tree
|
commitdiff
2015-03-20
Jim
whoops
tree
|
commitdiff
2015-03-20
Jim
provide gappy untyped_evaluator.ml
tree
|
commitdiff
2015-03-20
Jim
refine untyped_evaluator
tree
|
commitdiff
2015-03-20
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-20
Jim
provide simplified untyped_evaluator (complete version)
tree
|
commitdiff
2015-03-19
Chris
try3
tree
|
commitdiff
2015-03-19
Jim
Merge branch 'working'
tree
|
commitdiff
2015-03-19
Jim
update code
tree
|
commitdiff
2015-03-19
Jim
update ski_evaluators
tree
|
commitdiff
2015-03-15
Chris
exx
tree
|
commitdiff
2015-03-14
Chris
git is a pain
tree
|
commitdiff
2015-03-14
Chris
edits
tree
|
commitdiff
2015-03-14
Chris
added complete substitution code
tree
|
commitdiff
2015-03-14
Chris
edits
tree
|
commitdiff
2015-03-14
Chris
exercises
tree
|
commitdiff
2015-03-14
Chris
developing exx
tree
|
commitdiff
2015-03-14
Chris
huh
tree
|
commitdiff
2015-03-14
Chris
added reduction code
tree
|
commitdiff
2015-03-14
Chris
added code
tree
|
commitdiff
2015-03-14
Chris
hw6
tree
|
commitdiff
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
next