Change History for LinearTypes

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