projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
add some old files
2015-04-23
Jim
add some old files
commit
|
commitdiff
|
tree
2015-04-15
Jim
typo in gsv2.ml
commit
|
commitdiff
|
tree
2015-04-15
Jim
typo in gsv2.ml
commit
|
commitdiff
|
tree
2015-04-15
Jim
update gsv2.ml
commit
|
commitdiff
|
tree
2015-04-15
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-15
Jim
update gsv2.ml
commit
|
commitdiff
|
tree
2015-04-14
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-14
Jim
update gsv2.ml
commit
|
commitdiff
|
tree
2015-04-14
Jim
fixed move gsv-jim.ml to gsv2.ml
commit
|
commitdiff
|
tree
2015-04-14
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-14
Jim
move gsv-jim.ml to gsv2.ml
commit
|
commitdiff
|
tree
2015-04-14
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-14
Jim
move gsv.ml to gsv-jim.ml
commit
|
commitdiff
|
tree
2015-04-14
Jim
update Juli8 to v1.6 and post gsv.ml
commit
|
commitdiff
|
tree
2015-04-08
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-08
Jim
Ref.getref,putref
commit
|
commitdiff
|
tree
2015-04-08
Jim
update Juli8
commit
|
commitdiff
|
tree
2015-04-07
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-07
Jim
add old content to Rosetta2
commit
|
commitdiff
|
tree
2015-04-07
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-04-07
Jim
update juli8 to 1.4
commit
|
commitdiff
|
tree
2015-04-06
Jim
add week9 old stuff
commit
|
commitdiff
|
tree
2015-04-06
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
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
next