| Page version | Author | Changes | Last updated |
|---|---|---|---|
| 6530fd1d | Tobias Dammers | Fix markdown link syntax | |
| cc1a7a6a | Tobias Dammers | Re-run import | |
| 84188612 | Tobias Dammers | Fix table and code layout | |
| 8d2d9a9f | Tobias Dammers | Remove leading space from markdown link labels | |
| 3254ad01 | Simon Peyton Jones | Edit Design/TypeNaming | |
| 7eb3c0d9 | chak | Comment re Proposal 1 |