projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Juli8 to 1.3
[lambda.git]
/
topics
/
2015-02-20
jim
Alpha-convert booleans
tree
|
commitdiff
2015-02-20
Jim
push (old version of) q&a on fixed points
tree
|
commitdiff
2015-02-20
jim
clean up, move liar/truth-teller to separate document
tree
|
commitdiff
2015-02-20
jim
rename topics/_week4_fixed_point_combinators.mdwn to...
tree
|
commitdiff
2015-02-20
jim
rename topics/_week4_fixed_point_combinator.mdwn to...
tree
|
commitdiff
2015-02-19
jim
last commit before class, there are still some comments...
tree
|
commitdiff
2015-02-19
chris
(no commit message)
tree
|
commitdiff
2015-02-19
jim
another round of cleanups
tree
|
commitdiff
2015-02-19
jim
lot of alpha-conversion
tree
|
commitdiff
2015-02-19
jim
more formatting, will now add substance
tree
|
commitdiff
2015-02-19
jim
more formatting
tree
|
commitdiff
2015-02-19
jim
try to make notice bolder
tree
|
commitdiff
2015-02-19
jim
first pass, lots of formatting changes
tree
|
commitdiff
2015-02-19
jim
add anchor for imp
tree
|
commitdiff
2015-02-19
jim
add prefix
tree
|
commitdiff
2015-02-18
jim
add two sentences
tree
|
commitdiff
2015-02-18
Chris
moved fixed point for succ to exercises
tree
|
commitdiff
2015-02-18
jim
markup and typos, add commented note
tree
|
commitdiff
2015-02-18
jim
finish
tree
|
commitdiff
2015-02-18
jim
update
tree
|
commitdiff
2015-02-18
jim
update
tree
|
commitdiff
2015-02-18
jim
markup
tree
|
commitdiff
2015-02-18
jim
create page
tree
|
commitdiff
2015-02-18
jim
add more anchors
tree
|
commitdiff
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
next