projects / lambda.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added complete substitution code
2015-03-14 Chrisadded complete substitution code
 commit | commitdiff | tree
2015-03-14 Chrisedits
 commit | commitdiff | tree
2015-03-14 Chrisedits
 commit | commitdiff | tree
2015-03-14 Chrisedits
 commit | commitdiff | tree
2015-03-14 Chrisexercises
 commit | commitdiff | tree
2015-03-14 Chrisdeveloping exx
 commit | commitdiff | tree
2015-03-14 Chrishuh
 commit | commitdiff | tree
2015-03-14 Chrisadded reduction code
 commit | commitdiff | tree
2015-03-14 Chrisadded code
 commit | commitdiff | tree
2015-03-14 Chrisass 6
 commit | commitdiff | tree
2015-03-14 Chrismove
 commit | commitdiff | tree
2015-03-14 Chrishw6
 commit | commitdiff | tree
2015-03-14 Chrisedits
 commit | commitdiff | tree
2015-03-12 Chrisedits
 commit | commitdiff | tree
2015-03-12 Chrisadded Wordsworth
 commit | commitdiff | tree
2015-03-11 Chrisadded exercise
 commit | commitdiff | tree
2015-03-10 Chrisedits
 commit | commitdiff | tree
2015-03-09 Chrisedits
 commit | commitdiff | tree
2015-03-09 Chrisedits
 commit | commitdiff | tree
2015-03-09 Chrisedits
 commit | commitdiff | tree
2015-03-09 Chrisadded a bit about principle types
 commit | commitdiff | tree
2015-03-09 Chrisstarted exercises
 commit | commitdiff | tree
2015-03-08 Chrisedits
 commit | commitdiff | tree
2015-03-08 Chrisedits
 commit | commitdiff | tree
2015-03-08 Chriseval order CL
 commit | commitdiff | tree
2015-03-01 Chrismerge working
 commit | commitdiff | tree
2015-03-01 Chrisadjusted talk about *and*
 commit | commitdiff | tree
2015-03-01 Chrisassignment5 live
 commit | commitdiff | tree
2015-02-26 Chrisedits
 commit | commitdiff | tree
2015-02-26 Chrismerge working
 commit | commitdiff | tree
2015-02-26 Chrisedits
 commit | commitdiff | tree
2015-02-26 Chrisedits
 commit | commitdiff | tree
2015-02-26 Chrisedits
 commit | commitdiff | tree
2015-02-25 Chrisedits
 commit | commitdiff | tree
2015-02-25 ChrisMerge branch 'working'
 commit | commitdiff | tree
2015-02-25 Chrisgeneralized conjunction
 commit | commitdiff | tree
2015-02-24 Chrismerge
 commit | commitdiff | tree
2015-02-24 Chrisassignment 5 draft
 commit | commitdiff | tree
2015-02-24 Chrisedits
 commit | commitdiff | tree
2015-02-24 Chrismerging edits
 commit | commitdiff | tree
2015-02-24 Chrisedits
 commit | commitdiff | tree
2015-02-24 Chrisedits
 commit | commitdiff | tree
2015-02-24 Chrispred in system F
 commit | commitdiff | tree
2015-02-23 Chrisedits
 commit | commitdiff | tree
2015-02-23 Chrisedits
 commit | commitdiff | tree
2015-02-23 Chrisdefined system f
 commit | commitdiff | tree
2015-02-23 Chrisdefined system f
 commit | commitdiff | tree
2015-02-23 Chrisadjustments
 commit | commitdiff | tree
2015-02-23 Chrisadjustments
 commit | commitdiff | tree
2015-02-23 Chrisedits
 commit | commitdiff | tree
2015-02-23 Chrisedits
 commit | commitdiff | tree
2015-02-23 ChrisMerge branch 'working'
 commit | commitdiff | tree
2015-02-23 Chrisedits in eval order
 commit | commitdiff | tree
2015-02-23 Chrisincorporated
 commit | commitdiff | tree
2015-02-23 Chrisedits
 commit | commitdiff | tree
2015-02-23 Chrisadded discussion of Montague's PTQ
 commit | commitdiff | tree
2015-02-22 ChrisAdded system F
 commit | commitdiff | tree
2015-02-22 Chrisstupid git
 commit | commitdiff | tree
2015-02-22 Chrisedits
 commit | commitdiff | tree
2015-02-22 Chrisedits
 commit | commitdiff | tree
2015-02-22 ChrisMerge branch 'master' of main.jimpryor.net:/srv/lambda...
commit | commitdiff | tree
2015-02-22 ChrisMerge branch 'working'
 commit | commitdiff | tree
2015-02-22 Chriswhy
 commit | commitdiff | tree
2015-02-22 Chrisedits
 commit | commitdiff | tree
2015-02-22 Chrisedits
 commit | commitdiff | tree
2015-02-22 Chrisedits
 commit | commitdiff | tree
2015-02-21 Chrisedits
 commit | commitdiff | tree
2015-02-21 Chrisedits
 commit | commitdiff | tree
2015-02-21 Chrisedits
 commit | commitdiff | tree
2015-02-21 Chrisedits
 commit | commitdiff | tree
2015-02-21 Chrisstarting lecture on types
 commit | commitdiff | tree
2015-02-21 Christypos
 commit | commitdiff | tree
2015-02-21 Chrisre-solved the mutual recursion problem, just for fun...
commit | commitdiff | tree
2015-02-19 Chrisadded exercises
 commit | commitdiff | tree
2015-02-18 Christypos
 commit | commitdiff | tree
2015-02-18 Chrisadded draft of assignment4
 commit | commitdiff | tree
2015-02-18 Chrismoved fixed point for succ to exercises
 commit | commitdiff | tree
2015-02-17 Christypo
 commit | commitdiff | tree
2015-02-17 Christhe succ fixed point as arithmetic infinity
 commit | commitdiff | tree
2015-02-17 Chrisedits
 commit | commitdiff | tree
2015-02-17 Chrisedits for fixed-point
 commit | commitdiff | tree
2015-02-17 Chrisreplace get_length with length
 commit | commitdiff | tree
2015-02-17 Chrisadded disclaimer about revised lambda->CL map
 commit | commitdiff | tree
2015-02-16 Chrisadjust
 commit | commitdiff | tree
2015-02-16 Chrisswitched the map from lambda to CL back to Barendregt's
 commit | commitdiff | tree
2015-02-12 Chrisfixing computation discussion
 commit | commitdiff | tree
2015-02-12 Chrisadded discussion of computation
 commit | commitdiff | tree
2015-02-12 Chrismove computation discussion live
 commit | commitdiff | tree
2015-02-12 Chrismerged in new exercises for week 3
 commit | commitdiff | tree
2015-02-12 Chrisadded some exercises related to CL
 commit | commitdiff | tree
2015-02-12 Chrismoved file live
 commit | commitdiff | tree
2015-02-12 Chrisadded discussion of computation
 commit | commitdiff | tree
2015-02-11 ChrisRewrite of the Y discussion
 commit | commitdiff | tree
2015-02-09 Chrisedits to combinatory logic
 commit | commitdiff | tree
2015-02-09 ChrisAdding file on combinatory logic
 commit | commitdiff | tree
2015-02-09 Chrisadded old CL text
 commit | commitdiff | tree
2015-02-09 Christypo
 commit | commitdiff | tree
2015-02-09 Chrisadjusting table of contents
 commit | commitdiff | tree
2015-02-05 Chris= --> ==
 commit | commitdiff | tree
2015-02-05 Chris= --> ==
 commit | commitdiff | tree
next
NYU Lambda Wiki v2