Change History for LinearTypes

Version Date Author Comment
20 4 weeks aspiwack Links to videos of talk
19 4 weeks aspiwack
18 3 months jpbernardy
17 4 months aspiwack
16 8 months aspiwack
15 10 months aspiwack
14 10 months aspiwack
13 15 months andreas.abel "Linear types, take 1" example: Fixed let recursion bug, more …
12 15 months andreas.abel Small formulation fixes.
11 15 months andreas.abel Use more $ and do notation in the Kiselyov/Shan example
10 22 months aspiwack
9 2 years cactus Fix accidental HTML escaping
8 2 years cactus Fix typo in non-monadic example
7 2 years jpbernardy add variable rule
6 2 years zxtx Spelling error
5 2 years joehillen fix typos
4 2 years jpbernardy typos
3 2 years jpbernardy heading level
2 2 years jpbernardy Note on lazy pattern matching
1 2 years jpbernardy