projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
create page for assignment8-9 answers (no answers yet)
2015-02-26
Chris
edits
commit
|
commitdiff
|
tree
2015-02-26
Chris
merge working
commit
|
commitdiff
|
tree
2015-02-26
Chris
edits
commit
|
commitdiff
|
tree
2015-02-26
Chris
edits
commit
|
commitdiff
|
tree
2015-02-26
Chris
edits
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-26
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-25
Chris
edits
commit
|
commitdiff
|
tree
2015-02-25
Chris
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-02-25
Chris
generalized conjunction
commit
|
commitdiff
|
tree
2015-02-24
Chris
merge
commit
|
commitdiff
|
tree
2015-02-24
Chris
assignment 5 draft
commit
|
commitdiff
|
tree
2015-02-24
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-24
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-24
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-24
Chris
edits
commit
|
commitdiff
|
tree
2015-02-24
Chris
merging edits
commit
|
commitdiff
|
tree
2015-02-24
Chris
edits
commit
|
commitdiff
|
tree
2015-02-24
Chris
edits
commit
|
commitdiff
|
tree
2015-02-24
Chris
pred in system F
commit
|
commitdiff
|
tree
2015-02-23
Chris
edits
commit
|
commitdiff
|
tree
2015-02-23
Chris
edits
commit
|
commitdiff
|
tree
2015-02-23
Chris
defined system f
commit
|
commitdiff
|
tree
2015-02-23
Chris
defined system f
commit
|
commitdiff
|
tree
2015-02-23
Chris
adjustments
commit
|
commitdiff
|
tree
2015-02-23
Chris
adjustments
commit
|
commitdiff
|
tree
2015-02-23
Chris
edits
commit
|
commitdiff
|
tree
2015-02-23
Chris
edits
commit
|
commitdiff
|
tree
2015-02-23
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-23
Chris
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-02-23
Chris
edits in eval order
commit
|
commitdiff
|
tree
2015-02-23
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-23
Chris
incorporated
commit
|
commitdiff
|
tree
2015-02-23
Chris
edits
commit
|
commitdiff
|
tree
2015-02-23
Chris
added discussion of Montague's PTQ
commit
|
commitdiff
|
tree
2015-02-22
Chris
Added system F
commit
|
commitdiff
|
tree
2015-02-22
Chris
stupid git
commit
|
commitdiff
|
tree
2015-02-22
Chris
edits
commit
|
commitdiff
|
tree
2015-02-22
Chris
edits
commit
|
commitdiff
|
tree
2015-02-22
Chris
Merge branch 'master' of main.jimpryor.net:/srv/lambda...
commit
|
commitdiff
|
tree
2015-02-22
Chris
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-02-22
Chris
why
commit
|
commitdiff
|
tree
2015-02-22
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-22
Chris
edits
commit
|
commitdiff
|
tree
2015-02-22
Chris
edits
commit
|
commitdiff
|
tree
2015-02-22
Chris
edits
commit
|
commitdiff
|
tree
2015-02-21
Chris
edits
commit
|
commitdiff
|
tree
2015-02-21
Chris
edits
commit
|
commitdiff
|
tree
2015-02-21
Chris
edits
commit
|
commitdiff
|
tree
2015-02-21
Chris
edits
commit
|
commitdiff
|
tree
2015-02-21
Chris
starting lecture on types
commit
|
commitdiff
|
tree
2015-02-21
Chris
typos
commit
|
commitdiff
|
tree
2015-02-21
Chris
re-solved the mutual recursion problem, just for fun...
commit
|
commitdiff
|
tree
2015-02-20
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
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-19
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-19
Chris
added exercises
commit
|
commitdiff
|
tree
2015-02-18
Chris
typos
commit
|
commitdiff
|
tree
2015-02-18
Chris
added draft of assignment4
commit
|
commitdiff
|
tree
2015-02-18
Chris
moved fixed point for succ to exercises
commit
|
commitdiff
|
tree
2015-02-17
Chris
typo
commit
|
commitdiff
|
tree
2015-02-17
Chris
the succ fixed point as arithmetic infinity
commit
|
commitdiff
|
tree
2015-02-17
Chris
edits
commit
|
commitdiff
|
tree
2015-02-17
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-17
Chris
edits for fixed-point
commit
|
commitdiff
|
tree
2015-02-17
Chris
replace get_length with length
commit
|
commitdiff
|
tree
2015-02-17
Chris
added disclaimer about revised lambda->CL map
commit
|
commitdiff
|
tree
2015-02-16
Chris
adjust
commit
|
commitdiff
|
tree
2015-02-16
Chris
switched the map from lambda to CL back to Barendregt's
commit
|
commitdiff
|
tree
2015-02-12
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-12
Chris
fixing computation discussion
commit
|
commitdiff
|
tree
2015-02-12
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-12
Chris
added discussion of computation
commit
|
commitdiff
|
tree
2015-02-12
Chris
move computation discussion live
commit
|
commitdiff
|
tree
2015-02-12
Chris
merged in new exercises for week 3
commit
|
commitdiff
|
tree
2015-02-12
Chris
added some exercises related to CL
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
moved file live
commit
|
commitdiff
|
tree
2015-02-12
Chris
added discussion of computation
commit
|
commitdiff
|
tree
2015-02-11
chris
added link to Scott's history of the lambda calculus
commit
|
commitdiff
|
tree
2015-02-11
Chris
Rewrite of the Y discussion
commit
|
commitdiff
|
tree
2015-02-09
chris
(no commit message)
commit
|
commitdiff
|
tree
2015-02-09
Chris
edits to combinatory logic
commit
|
commitdiff
|
tree
2015-02-09
Chris
Adding file on combinatory logic
commit
|
commitdiff
|
tree
2015-02-09
Chris
added old CL text
commit
|
commitdiff
|
tree
2015-02-09
Chris
typo
commit
|
commitdiff
|
tree
2015-02-09
Chris
adjusting table of contents
commit
|
commitdiff
|
tree
2015-02-05
Chris
= --> ==
commit
|
commitdiff
|
tree
2015-02-05
Chris
= --> ==
commit
|
commitdiff
|
tree
next