projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
change week8 ramble title
2015-02-19
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-19
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-19
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-19
jim
post stubs for week4
commit
|
commitdiff
|
tree
2015-02-18
jim
add two sentences
commit
|
commitdiff
|
tree
2015-02-18
jim
markup and typos, add commented note
commit
|
commitdiff
|
tree
2015-02-18
jim
link to Unit
commit
|
commitdiff
|
tree
2015-02-18
jim
link to Unit
commit
|
commitdiff
|
tree
2015-02-18
jim
finish
commit
|
commitdiff
|
tree
2015-02-18
jim
update
commit
|
commitdiff
|
tree
2015-02-18
jim
update
commit
|
commitdiff
|
tree
2015-02-18
jim
markup
commit
|
commitdiff
|
tree
2015-02-18
jim
create page
commit
|
commitdiff
|
tree
2015-02-18
jim
add more anchors
commit
|
commitdiff
|
tree
2015-02-18
jim
post answers
commit
|
commitdiff
|
tree
2015-02-18
jim
rename exercises/_assignment2_answers.mdwn to exercises...
commit
|
commitdiff
|
tree
2015-02-18
jim
post Hankin Chapter 4 reading, answers to homework 2
commit
|
commitdiff
|
tree
2015-02-18
jim
further refinements
commit
|
commitdiff
|
tree
2015-02-18
jim
fix markup
commit
|
commitdiff
|
tree
2015-02-18
jim
add shortcut rule to translation, refined exposition
commit
|
commitdiff
|
tree
2015-02-18
jim
Add old translation scheme back in (commented out)...
commit
|
commitdiff
|
tree
2015-02-17
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-16
jim
tweak
commit
|
commitdiff
|
tree
2015-02-15
jim
cleanup
commit
|
commitdiff
|
tree
2015-02-15
jim
Kyle pointed out we had them define head in terms of...
commit
|
commitdiff
|
tree
2015-02-15
jim
update links
commit
|
commitdiff
|
tree
2015-02-15
jim
update links
commit
|
commitdiff
|
tree
2015-02-15
jim
add #other-lists
commit
|
commitdiff
|
tree
2015-02-15
jim
add new encodings
commit
|
commitdiff
|
tree
2015-02-15
jim
refinements
commit
|
commitdiff
|
tree
2015-02-14
jim
glossary for joke
commit
|
commitdiff
|
tree
2015-02-14
jim
add Lennon link
commit
|
commitdiff
|
tree
2015-02-14
jim
cleanup
commit
|
commitdiff
|
tree
2015-02-14
jim
tweak omega names
commit
|
commitdiff
|
tree
2015-02-14
jim
add names for omega and Omega
commit
|
commitdiff
|
tree
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
2015-02-14
jim
reorder
commit
|
commitdiff
|
tree
2015-02-14
jim
clean up
commit
|
commitdiff
|
tree
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
2015-02-14
jim
alignment
commit
|
commitdiff
|
tree
2015-02-14
jim
post arithmetic
commit
|
commitdiff
|
tree
2015-02-14
jim
post arithmetic
commit
|
commitdiff
|
tree
2015-02-14
jim
Cleanup and finish
commit
|
commitdiff
|
tree
2015-02-14
jim
create page
commit
|
commitdiff
|
tree
2015-02-14
jim
Move map2 question
commit
|
commitdiff
|
tree
2015-02-14
jim
add map2 extra credit
commit
|
commitdiff
|
tree
2015-02-14
jim
update with week3 links
commit
|
commitdiff
|
tree
2015-02-14
jim
remove final "please wait..." notice
commit
|
commitdiff
|
tree
2015-02-14
jim
post homework3 and some more link-promises
commit
|
commitdiff
|
tree
2015-02-14
jim
clarify dot rule
commit
|
commitdiff
|
tree
2015-02-14
jim
clarify instructions
commit
|
commitdiff
|
tree
2015-02-14
jim
clarify instructions
commit
|
commitdiff
|
tree
2015-02-14
jim
formatting
commit
|
commitdiff
|
tree
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
2015-02-14
jim
tweak
commit
|
commitdiff
|
tree
2015-02-14
jim
create page
commit
|
commitdiff
|
tree
2015-02-14
jim
add list_equal? and zero?, formatting
commit
|
commitdiff
|
tree
2015-02-12
jim
tweaks, links
commit
|
commitdiff
|
tree
2015-02-12
jim
add anchors
commit
|
commitdiff
|
tree
2015-02-12
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-12
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-12
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-12
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-11
chris
added link to Scott's history of the lambda calculus
commit
|
commitdiff
|
tree
2015-02-10
jim
fill in answers to 25
commit
|
commitdiff
|
tree
2015-02-10
jim
expand on Scheme heads
commit
|
commitdiff
|
tree
2015-02-10
jim
#true in r7rs
commit
|
commitdiff
|
tree
2015-02-10
jim
move Real World OCaml
commit
|
commitdiff
|
tree
2015-02-10
jim
add stubs for week3
commit
|
commitdiff
|
tree
2015-02-10
jim
rename exercises/assignment2_answers.mdwn to exercises...
commit
|
commitdiff
|
tree
2015-02-10
jim
just link to hint for `reverse`
commit
|
commitdiff
|
tree
2015-02-10
jim
compare `cons`
commit
|
commitdiff
|
tree
2015-02-10
jim
create page
commit
|
commitdiff
|
tree
2015-02-10
jim
link to answers1
commit
|
commitdiff
|
tree
2015-02-10
jim
formatting, code style
commit
|
commitdiff
|
tree
2015-02-10
jim
link to answers to week1 homework
commit
|
commitdiff
|
tree
2015-02-10
jim
create solutions
commit
|
commitdiff
|
tree
2015-02-09
jim
redo hint links
commit
|
commitdiff
|
tree
2015-02-09
jim
removed
commit
|
commitdiff
|
tree
2015-02-09
jim
create page
commit
|
commitdiff
|
tree
2015-02-09
jim
create page
commit
|
commitdiff
|
tree
2015-02-09
jim
reorganize, add some (as-yet-unlinked) titles for week 3
commit
|
commitdiff
|
tree
2015-02-09
jim
add anchors
commit
|
commitdiff
|
tree
2015-02-09
jim
tweak explanation of why `f` is curried
commit
|
commitdiff
|
tree
2015-02-09
jim
clarify why Lambda Calculus prefers curried functions...
commit
|
commitdiff
|
tree
2015-02-09
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-09
jim
clarify constraints
commit
|
commitdiff
|
tree
2015-02-09
jim
add stubs
commit
|
commitdiff
|
tree
2015-02-09
jim
add link to oleg
commit
|
commitdiff
|
tree
2015-02-09
jim
missing text
commit
|
commitdiff
|
tree
2015-02-09
jim
s/first/shortest/
commit
|
commitdiff
|
tree
2015-02-09
jim
"inner" expression
commit
|
commitdiff
|
tree
2015-02-09
jim
break up long expression
commit
|
commitdiff
|
tree
2015-02-09
jim
really more than a hint
commit
|
commitdiff
|
tree
2015-02-09
jim
add second hint
commit
|
commitdiff
|
tree
2015-02-08
jim
create page
commit
|
commitdiff
|
tree
2015-02-08
jim
fix previous overwrite
commit
|
commitdiff
|
tree
2015-02-08
jim
create page
commit
|
commitdiff
|
tree
next