Change History for LinearTypes

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