lambda.git
2015-03-14 Chrisass 6
2015-03-14 Chrismove
2015-03-12 chris(no commit message)
2015-03-12 Chrisedits
2015-03-12 Chrisadded Wordsworth
2015-03-11 Chrisadded exercise
2015-03-10 Chrisedits
2015-03-09 Chrisedits
2015-03-09 Chrisedits
2015-03-09 Chrisedits
2015-03-09 Chrisadded a bit about principle types
2015-03-09 chris(no commit message)
2015-03-09 Chrisstarted exercises
2015-03-08 chris(no commit message)
2015-03-08 chris(no commit message)
2015-03-08 chris(no commit message)
2015-03-08 chris(no commit message)
2015-03-08 Chrisedits
2015-03-08 Chrisedits
2015-03-08 Chriseval order CL
2015-03-08 jimsimplify Haskell
2015-03-08 jimadd comments about Haskell
2015-03-08 jimtweak explanation
2015-03-08 jimadd more about numbers
2015-03-08 jimcreate page
2015-03-08 jimrenumber yet again, please stick
2015-03-08 jimrenumber hint again
2015-03-08 jimrenumber hint
2015-03-08 jimcancel the System F lists -> OCaml
2015-03-05 jimfix markup
2015-03-04 jimreword problem
2015-03-04 jimadd hint for tree enumeration
2015-03-04 jimcreate page
2015-03-04 jimboldface brief intro and promote
2015-03-04 jimboldface two intro docs, reorganize
2015-03-03 jimpost King readings
2015-03-03 jimtypo
2015-03-03 jimpost King readings, reorganize
2015-03-03 Jimadd King readings
2015-03-03 jimtypo
2015-03-03 jimpost readings
2015-03-03 jimpost readings
2015-03-03 Jimadd readings
2015-03-02 jimrelease existing versions
2015-03-02 jimrelease existing versions, I'm taking too long
2015-03-02 jimrename topics/_week5_simply_typed_lambda.mdwn to topics...
2015-03-02 jimrename topics/_week5_system_F.mdwn to topics/week5_syst...
2015-03-01 chris(no commit message)
2015-03-01 Chrismerge working
2015-03-01 Chrisadjusted talk about *and*
2015-03-01 jimposted link to homework
2015-03-01 Chrisassignment5 live
2015-03-01 jimposted stubs
2015-03-01 jimtweak types for list encoding
2015-03-01 jimmore precise Pierce link
2015-03-01 jimlink to hint
2015-03-01 jimcreate page
2015-03-01 jimcreate page
2015-03-01 jimready to go?
2015-03-01 jimalmost done
2015-03-01 jimrevisions
2015-03-01 jimwork in progress
2015-03-01 jimpred attribution
2015-02-26 chris(no commit message)
2015-02-26 Chrisedits
2015-02-26 Chrismerge working
2015-02-26 Chrisedits
2015-02-26 Chrisedits
2015-02-26 Chrisedits
2015-02-26 chris(no commit message)
2015-02-26 chris(no commit message)
2015-02-26 chris(no commit message)
2015-02-26 chris(no commit message)
2015-02-26 chris(no commit message)
2015-02-26 chris(no commit message)
2015-02-26 chris(no commit message)
2015-02-26 chris(no commit message)
2015-02-26 chris(no commit message)
2015-02-26 chris(no commit message)
2015-02-25 Chrisedits
2015-02-25 ChrisMerge branch 'working'
2015-02-25 Chrisgeneralized conjunction
2015-02-25 jimadd note about Pierce
2015-02-25 jimwording
2015-02-24 jimprobably most efficient
2015-02-24 jimthird solution for left_head
2015-02-24 Chrismerge
2015-02-24 Chrisassignment 5 draft
2015-02-24 chris(no commit message)
2015-02-24 chris(no commit message)
2015-02-24 chris(no commit message)
2015-02-24 Chrisedits
2015-02-24 Chrismerging edits
2015-02-24 Chrisedits
2015-02-24 jimtweak explanation of Bunder/Urbanek pred
2015-02-24 Chrisedits
2015-02-24 Chrispred in system F
2015-02-24 jimadd comment
2015-02-24 jimposted week3-evaluation order
2015-02-24 jimpost week3-evaluation order
next