projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
lambda.git
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
2015-02-09
jim
redo hint links
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
removed
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
create page
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
create page
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
reorganize, add some (as-yet-unlinked) titles for week 3
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
add anchors
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
tweak explanation of why `f` is curried
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
clarify why Lambda Calculus prefers curried functions...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
Chris
edits to combinatory logic
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
Chris
Adding file on combinatory logic
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
Chris
added old CL text
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
clarify constraints
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
Chris
typo
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
Chris
adjusting table of contents
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
Jim
expand assignment3
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
Jim
move images to images/
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
add stubs
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
add link to oleg
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
missing text
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
s/first/shortest/
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
"inner" expression
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
break up long expression
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
really more than a hint
commit
|
commitdiff
|
tree
|
snapshot
2015-02-09
jim
add second hint
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
create page
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
fix previous overwrite
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
create page
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
create page, not yet linked
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
create page
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
typo
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
tweaks, one bug
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
tweaks
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
markup
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
markup
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
s/pair/triple/
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
add explanatory note
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
uncurry f for Kapulet
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
tweak hint
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
tweak assignment
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
fix link to hint
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
Jim
push assignment2
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
fix markup
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
add Church encodings
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
Jim
refine hidden assignment2
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
Jim
refine hidden assignment2
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
Jim
refine hidden assignment2
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
Jim
push hidden assignment2
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-08
Jim
curried_flip etc
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
tweaks
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
tweak final note
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
final note
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
encodings done
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
encodings done
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
add numbers
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
bug fixes
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
Jim
push encodings (unfinished)
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
Jim
tweaks, thanks Kyle for feedback
commit
|
commitdiff
|
tree
|
snapshot
next