projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
remove old binding page
2015-04-06
Jim
remove old binding page
commit
|
commitdiff
|
tree
2015-04-06
Jim
tweak arith1.ml
commit
|
commitdiff
|
tree
2015-04-06
Jim
tweak intensionality.ml
commit
|
commitdiff
|
tree
2015-04-06
Jim
update arith1.ml
commit
|
commitdiff
|
tree
2015-04-06
Jim
update intensionality.ml
commit
|
commitdiff
|
tree
2015-04-06
Jim
update intensionality.ml
commit
|
commitdiff
|
tree
2015-04-06
Jim
remove old code
commit
|
commitdiff
|
tree
2015-04-05
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-05
Jim
add Juli8-v1.3
commit
|
commitdiff
|
tree
2015-04-04
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-04
Jim
tweak reader2.ml, add Juli8.tgz
commit
|
commitdiff
|
tree
2015-04-04
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-04
Jim
add/update monad code
commit
|
commitdiff
|
tree
2015-04-01
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-01
Jim
add OCaml main+list+monad libraries
commit
|
commitdiff
|
tree
2015-03-25
Jim
typo in untyped_evaluator
commit
|
commitdiff
|
tree
2015-03-25
Jim
fix another typo on ski_evaluator
commit
|
commitdiff
|
tree
2015-03-25
Jim
fix typo on ski_evaluator
commit
|
commitdiff
|
tree
2015-03-25
Jim
fix result types on ski_evaluator
commit
|
commitdiff
|
tree
2015-03-25
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-25
Jim
add comments to ski_evaluator
commit
|
commitdiff
|
tree
2015-03-25
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-25
Jim
update untyped_eval to 1.7
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-24
Jim
Revert "update untyped_eval to 1.6"
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-24
Jim
update untyped_eval to 1.6
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-24
Jim
update untyped_eval to 1.5
commit
|
commitdiff
|
tree
2015-03-24
Jim
update untyped_eval to 1.4
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-24
Jim
symlink doesn't work
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-24
Jim
update untyped code
commit
|
commitdiff
|
tree
2015-03-24
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-24
Jim
tweak untyped_evaluators, add symlink
commit
|
commitdiff
|
tree
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-23
Jim
add V combinator to lambda_evaluator
commit
|
commitdiff
|
tree
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-23
Jim
add code/interp-1.2.tgz
commit
|
commitdiff
|
tree
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-23
Jim
untyped eval: tweaks
commit
|
commitdiff
|
tree
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-23
Jim
untyped eval: V[12]-->V[AB]
commit
|
commitdiff
|
tree
2015-03-23
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-23
Jim
add some old code, let's review/update before publishing
commit
|
commitdiff
|
tree
2015-03-22
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-22
Jim
add faye_dunaway.jpg
commit
|
commitdiff
|
tree
2015-03-22
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-22
Jim
change env implementations to assoc list
commit
|
commitdiff
|
tree
2015-03-22
Jim
add monads_in_general for scratch
commit
|
commitdiff
|
tree
2015-03-22
Jim
add comments to untyped_evals again
commit
|
commitdiff
|
tree
2015-03-22
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-22
Jim
add comments to untyped_evals
commit
|
commitdiff
|
tree
2015-03-20
Jim
whoops
commit
|
commitdiff
|
tree
2015-03-20
Jim
update homework
commit
|
commitdiff
|
tree
2015-03-20
Jim
provide gappy untyped_evaluator.ml
commit
|
commitdiff
|
tree
2015-03-20
Jim
refine untyped_evaluator
commit
|
commitdiff
|
tree
2015-03-20
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-20
Jim
provide simplified untyped_evaluator (complete version)
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-19
Jim
update code
commit
|
commitdiff
|
tree
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-19
Jim
update css
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-19
Jim
experimenting css
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-19
Jim
more local.css updates
commit
|
commitdiff
|
tree
2015-03-19
Jim
update local.css
commit
|
commitdiff
|
tree
2015-03-19
Jim
update local.css
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-03-19
Jim
add .double to local.css
commit
|
commitdiff
|
tree
2015-03-19
Jim
update ski_evaluators
commit
|
commitdiff
|
tree
2015-03-19
Jim
Merge branch 'master' into working
commit
|
commitdiff
|
tree
2015-03-19
Jim
remove extraneous code file
commit
|
commitdiff
|
tree
2015-03-19
Jim
remove extraneous code file
commit
|
commitdiff
|
tree
2015-03-03
Jim
add King readings
commit
|
commitdiff
|
tree
2015-03-03
Jim
add readings
commit
|
commitdiff
|
tree
2015-02-21
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-02-21
Jim
replace tattoo image
commit
|
commitdiff
|
tree
2015-02-20
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-02-20
Jim
tweak comment
commit
|
commitdiff
|
tree
2015-02-20
Jim
push (old version of) q&a on fixed points
commit
|
commitdiff
|
tree
2015-02-19
Jim
add some images
commit
|
commitdiff
|
tree
2015-02-12
Jim
combinatory tweaks and formatting
commit
|
commitdiff
|
tree
2015-02-12
Jim
combinatory tweaks and formatting
commit
|
commitdiff
|
tree
2015-02-12
Jim
combinatory tweaks and formatting
commit
|
commitdiff
|
tree
2015-02-12
Jim
combinatory tweaks and formatting
commit
|
commitdiff
|
tree
2015-02-12
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-02-12
Jim
tweak combinatory
commit
|
commitdiff
|
tree
next