projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
lambda.git
2015-02-18
jim
finish
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
update
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
update
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
markup
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
create page
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
add more anchors
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
post answers
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
rename exercises/_assignment2_answers.mdwn to exercises...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
post Hankin Chapter 4 reading, answers to homework 2
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
further refinements
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
fix markup
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
add shortcut rule to translation, refined exposition
commit
|
commitdiff
|
tree
|
snapshot
2015-02-18
jim
Add old translation scheme back in (commented out)...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-17
Chris
typo
commit
|
commitdiff
|
tree
|
snapshot
2015-02-17
Chris
the succ fixed point as arithmetic infinity
commit
|
commitdiff
|
tree
|
snapshot
2015-02-17
Chris
edits
commit
|
commitdiff
|
tree
|
snapshot
2015-02-17
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-02-17
Chris
edits for fixed-point
commit
|
commitdiff
|
tree
|
snapshot
2015-02-17
Chris
replace get_length with length
commit
|
commitdiff
|
tree
|
snapshot
2015-02-17
Chris
added disclaimer about revised lambda->CL map
commit
|
commitdiff
|
tree
|
snapshot
2015-02-16
Chris
adjust
commit
|
commitdiff
|
tree
|
snapshot
2015-02-16
Chris
switched the map from lambda to CL back to Barendregt's
commit
|
commitdiff
|
tree
|
snapshot
2015-02-16
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-15
jim
cleanup
commit
|
commitdiff
|
tree
|
snapshot
2015-02-15
jim
Kyle pointed out we had them define head in terms of...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-15
jim
update links
commit
|
commitdiff
|
tree
|
snapshot
2015-02-15
jim
update links
commit
|
commitdiff
|
tree
|
snapshot
2015-02-15
jim
add #other-lists
commit
|
commitdiff
|
tree
|
snapshot
2015-02-15
jim
add new encodings
commit
|
commitdiff
|
tree
|
snapshot
2015-02-15
jim
refinements
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
glossary for joke
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
add Lennon link
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
cleanup
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
tweak omega names
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
add names for omega and Omega
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
reorder
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
clean up
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
alignment
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
post arithmetic
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
post arithmetic
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
Cleanup and finish
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
create page
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
Move map2 question
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
add map2 extra credit
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
update with week3 links
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
remove final "please wait..." notice
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
post homework3 and some more link-promises
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
clarify dot rule
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
clarify instructions
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
clarify instructions
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
formatting
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
create page
commit
|
commitdiff
|
tree
|
snapshot
2015-02-14
jim
add list_equal? and zero?, formatting
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
jim
tweaks, links
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
jim
add anchors
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Jim
combinatory tweaks and formatting
shared
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Jim
combinatory tweaks and formatting
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Jim
combinatory tweaks and formatting
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Jim
combinatory tweaks and formatting
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Jim
Merge branch 'working'
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Jim
tweak combinatory
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Jim
tweak combinatory
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Chris
fixing computation discussion
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Chris
added discussion of computation
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Chris
move computation discussion live
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Jim
->combinatory
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Jim
chomp more whitespace
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Jim
chomp whitespace
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Chris
merged in new exercises for week 3
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Chris
added some exercises related to CL
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Chris
moved file live
commit
|
commitdiff
|
tree
|
snapshot
2015-02-12
Chris
added discussion of computation
commit
|
commitdiff
|
tree
|
snapshot
2015-02-11
chris
added link to Scott's history of the lambda calculus
commit
|
commitdiff
|
tree
|
snapshot
2015-02-11
Chris
Rewrite of the Y discussion
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
Jim
Merge branch 'master' into working
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
Jim
add eval_order (raw)
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
fill in answers to 25
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
expand on Scheme heads
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
#true in r7rs
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
move Real World OCaml
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
add stubs for week3
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
Jim
Merge branch 'master' into working
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
rename exercises/assignment2_answers.mdwn to exercises...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
just link to hint for `reverse`
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
compare `cons`
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
create page
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
link to answers1
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
formatting, code style
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
link to answers to week1 homework
commit
|
commitdiff
|
tree
|
snapshot
2015-02-10
jim
create solutions
commit
|
commitdiff
|
tree
|
snapshot
next