| Page version | Author | Changes | Last updated |
|---|---|---|---|
| cc1a7a6a | Tobias Dammers | Re-run import | |
| 84188612 | Tobias Dammers | Fix table and code layout | |
| acdc9a79 | guest | Edit ClosedTypeFamilies | |
| 9a9311ae | guest | WIP thinking about closed type families |
| Page version | Author | Changes | Last updated |
|---|---|---|---|
| cc1a7a6a | Tobias Dammers | Re-run import | |
| 84188612 | Tobias Dammers | Fix table and code layout | |
| acdc9a79 | guest | Edit ClosedTypeFamilies | |
| 9a9311ae | guest | WIP thinking about closed type families |