rename topics/week7_eval_combinatory.mdwn to topics/week7__95__combinatory__95__evalu...
[lambda.git] / topics /
2015-03-19 jimrename topics/week7_eval_combinatory.mdwn to topics...
2015-03-19 jimrename topics/week7_eval_cl.mdwn to topics/week7_eval_c...
2015-03-19 jimrename topics/_week6_plexy.mdwn to topics/week6_plexy...
2015-03-19 jimupdate
2015-03-19 jimcreate page
2015-03-16 Chrisedits
2015-03-16 Chrisedits
2015-03-16 Chrisedits
2015-03-16 Chrisedits
2015-03-16 Chrisedits
2015-03-16 Chrisedits
2015-03-16 Chrisedits
2015-03-16 Chrisedits
2015-03-16 Chrisedits
2015-03-16 Chrismonads
2015-03-16 chris(no commit message)
2015-03-16 Chrismonads
2015-03-16 chris(no commit message)
2015-03-16 chris(no commit message)
2015-03-16 chris(no commit message)
2015-03-16 chris(no commit message)
2015-03-16 chris(no commit message)
2015-03-16 Chrisgit is weird
2015-03-16 Chrisplexy
2015-03-14 Chrismoved files
2015-03-14 Chrisgit is a pain
2015-03-14 Chrispublishing eval CL
2015-03-14 chris(no commit message)
2015-03-14 chris(no commit message)
2015-03-14 chris(no commit message)
2015-03-14 chris(no commit message)
2015-03-14 chris(no commit message)
2015-03-14 Chrisedits
2015-03-12 chris(no commit message)
2015-03-12 Chrisadded Wordsworth
2015-03-10 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-05 jimfix markup
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-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-24 Chrismerge
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 Chrisedits
2015-02-24 Chrispred in system F
2015-02-24 jimrename topics/_week3_eval_order.mdwn to topics/week3_ev...
2015-02-24 jimcleanup
2015-02-23 Chrisedits
2015-02-23 Chrisedits
2015-02-23 Chrisdefined system f
2015-02-23 Chrisdefined system f
2015-02-23 Chrisadjustments
2015-02-23 Chrisadjustments
2015-02-23 Chrisedits
2015-02-23 Chrisedits
2015-02-23 chris(no commit message)
2015-02-23 ChrisMerge branch 'working'
2015-02-23 Chrisedits in eval order
2015-02-23 jimadd <a id=flipped-cons>
2015-02-23 chris(no commit message)
2015-02-23 Chrisincorporated
2015-02-23 Chrisedits
2015-02-23 Chrisadded discussion of Montague's PTQ
next