Marko Dimjašević
|
e3623f18cb
|
Lambda: fixes spellings of a few words
|
2019-01-25 23:31:10 +00:00 |
|
Philip Wadler
|
ad6f853946
|
restoring extra
|
2019-01-08 14:11:20 +00:00 |
|
Philip Wadler
|
6f6d02eed4
|
added line to explain defn of multiplication
|
2019-01-08 12:12:26 +00:00 |
|
Marko Dimjašević
|
01b2cca790
|
Replaces all occurrences of 'judgement' with 'judgment'
|
2018-12-04 20:33:43 +01:00 |
|
wadler
|
d7348182b2
|
added extra/stlc/TinyLambda
|
2018-07-03 12:08:28 -03:00 |
|
wadler
|
83975bc8e1
|
added confluence to Lambda
|
2018-07-02 18:42:45 -03:00 |
|
wadler
|
ce81c403bd
|
moving extra files
|
2018-05-26 16:24:37 -03:00 |
|