Change History for LinearTypes

Version Date Author Comment
21 2 months aspiwack
20 5 months aspiwack Links to videos of talk
19 5 months aspiwack
18 7 months jpbernardy
17 8 months aspiwack
16 12 months aspiwack
15 13 months aspiwack
14 13 months aspiwack
13 19 months andreas.abel "Linear types, take 1" example: Fixed let recursion bug, more …
12 19 months andreas.abel Small formulation fixes.
11 19 months andreas.abel Use more $ and do notation in the Kiselyov/Shan example
10 2 years 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