projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
generalized conjunction
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
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
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-02-23
Chris
edits in eval order
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
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-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
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
fixing computation discussion
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
moved file live
commit
|
commitdiff
|
tree
2015-02-12
Chris
added discussion of computation
commit
|
commitdiff
|
tree
2015-02-11
Chris
Rewrite of the Y discussion
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
2015-02-05
Chris
typos
commit
|
commitdiff
|
tree
2015-02-05
Chris
typo
commit
|
commitdiff
|
tree
2015-02-05
Chris
Merge branch 'working'
commit
|
commitdiff
|
tree
2015-02-05
Chris
notes on lambda calculus
commit
|
commitdiff
|
tree
2015-02-05
Chris
starting lambda calculus intro
commit
|
commitdiff
|
tree
2015-02-05
Chris
Merge branch 'master' of main.jimpryor.net:/srv/lambda...
commit
|
commitdiff
|
tree
2015-02-05
Chris
remove notes on git
commit
|
commitdiff
|
tree
2015-02-04
Chris
Notes for understanding git
commit
|
commitdiff
|
tree
2015-02-01
Chris
stupid git
commit
|
commitdiff
|
tree
2015-02-01
Chris
adjustments, notes week 1
commit
|
commitdiff
|
tree
2015-02-01
Chris
adjustments
commit
|
commitdiff
|
tree
2015-02-01
Chris
added discussion of order, with F&#; adjusted index...
commit
|
commitdiff
|
tree