projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Added system F
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
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
2011-06-14
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-14
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-10
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-10
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-10
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-10
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-09
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-09
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-09
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-09
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-09
Chris Barker
changes
commit
|
commitdiff
|
tree
2011-06-08
Chris Barker
added little file on cpsX
commit
|
commitdiff
|
tree
2011-06-08
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
commit
|
commitdiff
|
tree
2011-06-02
Chris Barker
Added the L&P version of Ken's article on quotation.
commit
|
commitdiff
|
tree
2011-01-18
Chris Barker
edits
commit
|
commitdiff
|
tree
2011-01-18
Chris Barker
edits
commit
|
commitdiff
|
tree
2011-01-18
Chris Barker
added solution for mutual recursion fixed point combinators
commit
|
commitdiff
|
tree
2010-12-19
Chris Barker
edits
commit
|
commitdiff
|
tree
2010-12-19
Chris Barker
edits
commit
|
commitdiff
|
tree
2010-12-19
Chris Barker
edits
commit
|
commitdiff
|
tree
2010-12-18
Chris Barker
edits
commit
|
commitdiff
|
tree
2010-12-18
Chris Barker
edits
commit
|
commitdiff
|
tree
2010-12-18
Chris Barker
edits
commit
|
commitdiff
|
tree
2010-12-13
Chris Barker
edits
commit
|
commitdiff
|
tree
2010-12-13
Chris Barker
edits
commit
|
commitdiff
|
tree
2010-12-08
Chris Barker
edits
commit
|
commitdiff
|
tree
2010-12-07
Chris Barker
edit
commit
|
commitdiff
|
tree
2010-12-07
Chris Barker
edit
commit
|
commitdiff
|
tree
2010-12-07
Chris Barker
edit
commit
|
commitdiff
|
tree
2010-12-07
Chris Barker
edit
commit
|
commitdiff
|
tree
2010-12-07
Chris Barker
edit
commit
|
commitdiff
|
tree
next