projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
fix result types on ski_evaluator
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
2015-02-12
Jim
tweak combinatory
commit
|
commitdiff
|
tree
2015-02-12
Jim
->combinatory
commit
|
commitdiff
|
tree
2015-02-12
Jim
chomp more whitespace
commit
|
commitdiff
|
tree
2015-02-12
Jim
chomp whitespace
commit
|
commitdiff
|
tree
2015-02-10
Jim
Merge branch 'master' into working
commit
|
commitdiff
|
tree
2015-02-10
Jim
add eval_order (raw)
commit
|
commitdiff
|
tree
2015-02-10
Jim
Merge branch 'master' into working
commit
|
commitdiff
|
tree
2015-02-09
Jim
expand assignment3
commit
|
commitdiff
|
tree
2015-02-09
Jim
move images to images/
commit
|
commitdiff
|
tree
2015-02-08
Jim
push assignment2
commit
|
commitdiff
|
tree
2015-02-08
Jim
refine hidden assignment2
commit
|
commitdiff
|
tree
2015-02-08
Jim
refine hidden assignment2
commit
|
commitdiff
|
tree
2015-02-08
Jim
refine hidden assignment2
commit
|
commitdiff
|
tree
2015-02-08
Jim
push hidden assignment2
commit
|
commitdiff
|
tree
2015-02-08
Jim
curried_flip etc
commit
|
commitdiff
|
tree
2015-02-07
Jim
push encodings (unfinished)
commit
|
commitdiff
|
tree
2015-02-07
Jim
tweaks, thanks Kyle for feedback
commit
|
commitdiff
|
tree
2015-02-07
Jim
Merge branch 'master' into working
commit
|
commitdiff
|
tree
next