Change History for LinearTypes

Version Date Author Comment
21 8 days aspiwack
20 3 months aspiwack Links to videos of talk
19 3 months aspiwack
18 5 months jpbernardy
17 5 months aspiwack
16 10 months aspiwack
15 11 months aspiwack
14 11 months aspiwack
13 17 months andreas.abel "Linear types, take 1" example: Fixed let recursion bug, more …
12 17 months andreas.abel Small formulation fixes.
11 17 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