projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
tweaks
[lambda.git]
/
code
/
2015-04-15
Jim
typo in gsv2.ml
tree
|
commitdiff
2015-04-15
Jim
typo in gsv2.ml
tree
|
commitdiff
2015-04-15
Jim
update gsv2.ml
tree
|
commitdiff
2015-04-15
Jim
Merge branch 'working'
tree
|
commitdiff
2015-04-15
Jim
update gsv2.ml
tree
|
commitdiff
2015-04-14
Jim
Merge branch 'working'
tree
|
commitdiff
2015-04-14
Jim
update gsv2.ml
tree
|
commitdiff
2015-04-14
Jim
fixed move gsv-jim.ml to gsv2.ml
tree
|
commitdiff
2015-04-14
Jim
Merge branch 'working'
tree
|
commitdiff
2015-04-14
Jim
move gsv-jim.ml to gsv2.ml
tree
|
commitdiff
2015-04-14
Jim
Merge branch 'working'
tree
|
commitdiff
2015-04-14
Jim
move gsv.ml to gsv-jim.ml
tree
|
commitdiff
2015-04-14
Jim
update Juli8 to v1.6 and post gsv.ml
tree
|
commitdiff
2015-04-12
Chris
edits
tree
|
commitdiff
2015-04-11
Chris
edits
tree
|
commitdiff
2015-04-08
Chris
edits
tree
|
commitdiff
2015-04-08
Jim
update Juli8
tree
|
commitdiff
2015-04-07
Jim
Merge branch 'working'
tree
|
commitdiff
2015-04-07
Jim
update juli8 to 1.4
tree
|
commitdiff
2015-04-06
Jim
tweak arith1.ml
tree
|
commitdiff
2015-04-06
Jim
tweak intensionality.ml
tree
|
commitdiff
2015-04-06
Jim
update arith1.ml
tree
|
commitdiff
2015-04-06
Jim
update intensionality.ml
tree
|
commitdiff
2015-04-06
Jim
update intensionality.ml
tree
|
commitdiff
2015-04-06
Jim
remove old code
tree
|
commitdiff
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
next