projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
further refinements
[lambda.git]
/
topics
/
2015-02-18
jim
further refinements
tree
|
commitdiff
2015-02-18
jim
fix markup
tree
|
commitdiff
2015-02-18
jim
add shortcut rule to translation, refined exposition
tree
|
commitdiff
2015-02-18
jim
Add old translation scheme back in (commented out)...
tree
|
commitdiff
2015-02-17
Chris
typo
tree
|
commitdiff
2015-02-17
Chris
the succ fixed point as arithmetic infinity
tree
|
commitdiff
2015-02-17
Chris
edits
tree
|
commitdiff
2015-02-17
chris
(no commit message)
tree
|
commitdiff
2015-02-17
Chris
edits for fixed-point
tree
|
commitdiff
2015-02-17
Chris
replace get_length with length
tree
|
commitdiff
2015-02-17
Chris
added disclaimer about revised lambda->CL map
tree
|
commitdiff
2015-02-16
Chris
adjust
tree
|
commitdiff
2015-02-16
Chris
switched the map from lambda to CL back to Barendregt's
tree
|
commitdiff
2015-02-15
jim
cleanup
tree
|
commitdiff
2015-02-15
jim
add #other-lists
tree
|
commitdiff
2015-02-15
jim
add new encodings
tree
|
commitdiff
2015-02-15
jim
refinements
tree
|
commitdiff
2015-02-14
jim
glossary for joke
tree
|
commitdiff
2015-02-14
jim
add Lennon link
tree
|
commitdiff
2015-02-14
jim
cleanup
tree
|
commitdiff
2015-02-14
jim
tweak omega names
tree
|
commitdiff
2015-02-14
jim
add names for omega and Omega
tree
|
commitdiff
2015-02-14
jim
tweak
tree
|
commitdiff
2015-02-14
jim
clean up
tree
|
commitdiff
2015-02-14
jim
tweak
tree
|
commitdiff
2015-02-14
jim
alignment
tree
|
commitdiff
2015-02-14
jim
Cleanup and finish
tree
|
commitdiff
2015-02-14
jim
create page
tree
|
commitdiff
2015-02-14
jim
clarify dot rule
tree
|
commitdiff
2015-02-12
jim
add anchors
tree
|
commitdiff
2015-02-12
Jim
combinatory tweaks and formatting
shared
tree
|
commitdiff
2015-02-12
Jim
combinatory tweaks and formatting
tree
|
commitdiff
2015-02-12
Jim
combinatory tweaks and formatting
tree
|
commitdiff
2015-02-12
Jim
combinatory tweaks and formatting
tree
|
commitdiff
2015-02-12
Jim
Merge branch 'working'
tree
|
commitdiff
2015-02-12
Jim
tweak combinatory
tree
|
commitdiff
2015-02-12
Jim
tweak combinatory
tree
|
commitdiff
2015-02-12
Chris
fixing computation discussion
tree
|
commitdiff
2015-02-12
Chris
added discussion of computation
tree
|
commitdiff
2015-02-12
Chris
move computation discussion live
tree
|
commitdiff
2015-02-12
Jim
->combinatory
tree
|
commitdiff
2015-02-12
Jim
chomp more whitespace
tree
|
commitdiff
2015-02-12
Chris
moved file live
tree
|
commitdiff
2015-02-12
Chris
added discussion of computation
tree
|
commitdiff
2015-02-11
Chris
Rewrite of the Y discussion
tree
|
commitdiff
2015-02-10
Jim
Merge branch 'master' into working
tree
|
commitdiff
2015-02-10
Jim
add eval_order (raw)
tree
|
commitdiff
2015-02-10
Jim
Merge branch 'master' into working
tree
|
commitdiff
2015-02-09
jim
add anchors
tree
|
commitdiff
2015-02-09
jim
tweak explanation of why `f` is curried
tree
|
commitdiff
2015-02-09
jim
clarify why Lambda Calculus prefers curried functions...
tree
|
commitdiff
2015-02-09
chris
(no commit message)
tree
|
commitdiff
2015-02-09
Chris
edits to combinatory logic
tree
|
commitdiff
2015-02-09
Chris
Adding file on combinatory logic
tree
|
commitdiff
2015-02-09
Chris
added old CL text
tree
|
commitdiff
2015-02-09
jim
s/first/shortest/
tree
|
commitdiff
2015-02-09
jim
"inner" expression
tree
|
commitdiff
2015-02-09
jim
break up long expression
tree
|
commitdiff
2015-02-08
jim
create page
tree
|
commitdiff
2015-02-08
jim
tweaks, one bug
tree
|
commitdiff
2015-02-08
jim
tweaks
tree
|
commitdiff
2015-02-08
jim
markup
tree
|
commitdiff
2015-02-08
jim
markup
tree
|
commitdiff
2015-02-08
Jim
push assignment2
tree
|
commitdiff
2015-02-08
jim
fix markup
tree
|
commitdiff
2015-02-08
jim
add Church encodings
tree
|
commitdiff
2015-02-08
Jim
refine hidden assignment2
tree
|
commitdiff
2015-02-08
Jim
refine hidden assignment2
tree
|
commitdiff
2015-02-08
Jim
refine hidden assignment2
tree
|
commitdiff
2015-02-08
Jim
push hidden assignment2
tree
|
commitdiff
2015-02-08
Jim
curried_flip etc
tree
|
commitdiff
2015-02-07
jim
tweaks
tree
|
commitdiff
2015-02-07
jim
tweak final note
tree
|
commitdiff
2015-02-07
jim
final note
tree
|
commitdiff
2015-02-07
jim
add numbers
tree
|
commitdiff
2015-02-07
jim
bug fixes
tree
|
commitdiff
2015-02-07
Jim
push encodings (unfinished)
tree
|
commitdiff
2015-02-07
Jim
tweaks, thanks Kyle for feedback
tree
|
commitdiff
2015-02-07
Jim
Merge branch 'master' into working
tree
|
commitdiff
2015-02-07
Jim
add _lambda_encodings
tree
|
commitdiff
2015-02-07
Jim
add _lambda_encodings
tree
|
commitdiff
2015-02-07
jim
add comment
tree
|
commitdiff
2015-02-07
jim
refine notes
tree
|
commitdiff
2015-02-07
jim
refine notes
tree
|
commitdiff
2015-02-07
jim
update for rename of topics/week1_advanced_notes.mdwn...
tree
|
commitdiff
2015-02-07
jim
rename topics/week1_advanced_notes.mdwn to topics/week1...
tree
|
commitdiff
2015-02-07
jim
rename topics/week1.mdwn to topics/week1_kapulet_intro...
tree
|
commitdiff
2015-02-07
jim
update for rename of topics/_week2_lambda_calculus_fine...
tree
|
commitdiff
2015-02-07
jim
rename topics/_week2_lambda_calculus_fine_points.mdwn...
tree
|
commitdiff
2015-02-07
jim
rename topics/_week2_lambda_calculus_intro.mdwn to...
tree
|
commitdiff
2015-02-07
jim
fix link
tree
|
commitdiff
2015-02-07
Jim
refine week2 notes part1
tree
|
commitdiff
2015-02-06
jim
add anchor for #lightweight
tree
|
commitdiff
2015-02-06
jim
add anchor for #dollar
tree
|
commitdiff
2015-02-06
jim
add anchor for #multivalues
tree
|
commitdiff
2015-02-05
Chris
typos
tree
|
commitdiff
2015-02-05
Chris
typo
tree
|
commitdiff
2015-02-05
Chris
Merge branch 'working'
tree
|
commitdiff
2015-02-05
Chris
notes on lambda calculus
tree
|
commitdiff
2015-02-05
Jim
Merge branch 'master' into working
tree
|
commitdiff
next