| Page version | Author | Changes | Last updated |
|---|---|---|---|
| 6b08d82d | Ben Gamari | Update levity polymorphism | |
| 6530fd1d | Tobias Dammers | Fix markdown link syntax | |
| cc1a7a6a | Tobias Dammers | Re-run import | |
| 8d2d9a9f | Tobias Dammers | Remove leading space from markdown link labels |
| Page version | Author | Changes | Last updated |
|---|---|---|---|
| 6b08d82d | Ben Gamari | Update levity polymorphism | |
| 6530fd1d | Tobias Dammers | Fix markdown link syntax | |
| cc1a7a6a | Tobias Dammers | Re-run import | |
| 8d2d9a9f | Tobias Dammers | Remove leading space from markdown link labels |