Change History for LinearTypes

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