Change History for LinearTypes

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