projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
lambda.git
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
2015-02-07
Jim
Merge branch 'master' into working
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
Jim
add _lambda_encodings
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
Jim
add _lambda_encodings
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
add comment
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
refine notes
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
refine notes
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
tweak link
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
tweak
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
Jim
tweak links
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
fix link
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
add links to (some) week2 notes
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
update for rename of topics/week1_advanced_notes.mdwn...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
update for rename of topics/week1_advanced_notes.mdwn...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
update for rename of topics/week1_advanced_notes.mdwn...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
update for rename of topics/week1_advanced_notes.mdwn...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
rename topics/week1_advanced_notes.mdwn to topics/week1...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
update for rename of topics/week1.mdwn to topics/week1_...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
update for rename of topics/week1.mdwn to topics/week1_...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
update for rename of topics/week1.mdwn to topics/week1_...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
rename topics/week1.mdwn to topics/week1_kapulet_intro...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
update for rename of topics/_week2_lambda_calculus_fine...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
update for rename of topics/_week2_lambda_calculus_fine...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
rename topics/_week2_lambda_calculus_fine_points.mdwn...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
update for rename of topics/_week2_lambda_calculus_intr...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
rename topics/_week2_lambda_calculus_intro.mdwn to...
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
fix link
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
fix link
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
Add index for week 2
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
Jim
refine week2 notes part1
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
Promote de Bruijn
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
Add Dana Scott, demote Dijkstra, add de Bruijn
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
add Steele
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
fix image uri
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
don't inline image
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
Jim
add randj.jpg
commit
|
commitdiff
|
tree
|
snapshot
2015-02-07
jim
tweaks
commit
|
commitdiff
|
tree
|
snapshot
2015-02-06
jim
framing note
commit
|
commitdiff
|
tree
|
snapshot
2015-02-06
jim
rosetta1 should be stable
commit
|
commitdiff
|
tree
|
snapshot
2015-02-06
jim
should be stable now
commit
|
commitdiff
|
tree
|
snapshot
2015-02-06
jim
add anchor for #lightweight
commit
|
commitdiff
|
tree
|
snapshot
2015-02-06
jim
add anchor for #dollar
commit
|
commitdiff
|
tree
|
snapshot
2015-02-06
jim
add anchor for #multivalues
commit
|
commitdiff
|
tree
|
snapshot
2015-02-06
jim
update Lambda Calculator link
commit
|
commitdiff
|
tree
|
snapshot
2015-02-06
jim
fix links
commit
|
commitdiff
|
tree
|
snapshot
2015-02-06
jim
next chunk of edits
commit
|
commitdiff
|
tree
|
snapshot
2015-02-05
Chris
= --> ==
commit
|
commitdiff
|
tree
|
snapshot
next