Marko Dimjašević
|
20f72f64e5
|
Inference: fixes spellings of a few words
|
2019-01-25 23:29:42 +00:00 |
|
Philip Wadler
|
d466e7494f
|
Added Kovacs strong normalisation proof to extra
|
2019-01-22 15:33:12 +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
|
ffa98320f5
|
small fixes to List
|
2018-10-19 10:26:02 +01:00 |
|
wadler
|
2bcc4bf7bc
|
moved answers to private repository
|
2018-10-16 17:22:35 +02:00 |
|
wadler
|
093ec704a9
|
updated Quantifiers
|
2018-10-08 11:19:13 +01:00 |
|
wadler
|
2e47746087
|
updated exercises, added Assignment2
|
2018-09-30 22:48:23 +01:00 |
|
Philip Wadler
|
cddb86ec54
|
Added Induction corollary section
|
2018-09-21 08:59:37 +01:00 |
|
Philip Wadler
|
02879bab91
|
added Inherent and Raw to extra
|
2018-09-09 22:51:18 +01:00 |
|
Philip Wadler
|
63ac354912
|
updated tracked files
|
2018-09-04 12:15:53 +01:00 |
|
Philip Wadler
|
55ef185ec2
|
minor fixes
|
2018-09-03 19:46:09 +01:00 |
|
Philip Wadler
|
143bc2be8c
|
more exercises up to Lambda
|
2018-09-03 16:53:06 +01:00 |
|
Philip Wadler
|
a61fdc87ff
|
negation exercises
|
2018-09-03 14:27:38 +01:00 |
|
Philip Wadler
|
ca4b9df604
|
end of day with Conor. Weakening of Pi is bollocks
|
2018-08-24 18:23:52 +01:00 |
|
Philip Wadler
|
af6bca49f6
|
progress on PureConor
|
2018-08-24 13:47:25 +01:00 |
|
Philip Wadler
|
90284367d2
|
revision to Bin exercises
|
2018-08-21 12:57:38 +01:00 |
|
Philip Wadler
|
54a2faf0b2
|
moved Preorder, Lexical, Subset from Relation to extra
|
2018-08-20 18:12:21 +01:00 |
|
wadler
|
e2186115d2
|
finished revision of Inference
|
2018-08-14 19:04:17 +01:00 |
|
wadler
|
59c737bd77
|
revision to Lists
|
2018-08-09 20:03:48 +01:00 |
|
wadler
|
a93c82a41a
|
added refactoring exercise to Lambda, Properties; revised Naturals
|
2018-08-03 18:32:14 +01:00 |
|
wadler
|
55a933d91f
|
restored old subst, new in extra/Substitution
|
2018-08-02 14:55:45 +01:00 |
|
wadler
|
32eb9c70ec
|
completed Inference
|
2018-07-22 22:02:40 +02:00 |
|
wadler
|
a5fe099e9e
|
miminimised imports for More
|
2018-07-09 21:36:16 -03:00 |
|
wadler
|
554e0ed28e
|
removed non-answers from More
|
2018-07-09 21:26:21 -03:00 |
|
wadler
|
39a1f8888d
|
added answer for More
|
2018-07-09 21:11:02 -03:00 |
|
wadler
|
3d540a8a20
|
add PropertiesDec to extra
|
2018-07-09 15:53:08 -03:00 |
|
wadler
|
202f0f54ba
|
fixes to formal code in More
|
2018-07-09 12:23:41 -03:00 |
|
wadler
|
d7348182b2
|
added extra/stlc/TinyLambda
|
2018-07-03 12:08:28 -03:00 |
|
wadler
|
c099575618
|
saving Lambda-new in extra
|
2018-07-02 22:03:30 -03:00 |
|
wadler
|
fb2c3ab076
|
saved old substitution in extra
|
2018-07-02 19:18:44 -03:00 |
|
wadler
|
83975bc8e1
|
added confluence to Lambda
|
2018-07-02 18:42:45 -03:00 |
|
wadler
|
deeb5269f6
|
fixes in fresh
|
2018-06-30 22:45:32 -03:00 |
|
wadler
|
704aca8aaf
|
new title and Preface, technical fixes
|
2018-06-30 13:27:47 -03:00 |
|
wadler
|
740da3c00c
|
added extra Chain
|
2018-06-29 14:38:34 -03:00 |
|
wadler
|
47688dbe93
|
intro and canonical for PandP
|
2018-06-25 18:06:42 -03:00 |
|
wadler
|
ecc8a0f335
|
created extra StreamLambdaProp
|
2018-06-25 12:38:22 -03:00 |
|
wadler
|
796f6612ea
|
added isomorphism to Streams
|
2018-06-25 10:50:25 -03:00 |
|
wadler
|
8e8c90c252
|
fiddling
|
2018-06-24 20:15:07 -03:00 |
|
wadler
|
4e7486911b
|
halfway through updating Lambda
|
2018-06-24 11:34:19 -07:00 |
|
wadler
|
976f15d2f5
|
moved Properties to Induction
|
2018-06-18 08:13:37 -07:00 |
|
wadler
|
45ed4f4a39
|
added PureConor
|
2018-06-15 09:58:13 -07:00 |
|
wadler
|
e749a78eb0
|
fixing link to extensionality in Connections
|
2018-06-09 18:01:31 -03:00 |
|
wadler
|
ce81c403bd
|
moving extra files
|
2018-05-26 16:24:37 -03:00 |
|