Timeline for Can Isorecursive types capture mutually recursive data types?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 19, 2019 at 6:00 | history | tweeted | twitter.com/StackCSTheory/status/1141224295206719491 | ||
| Apr 9, 2019 at 13:57 | vote | accept | Enrico Borba | ||
| Apr 9, 2019 at 9:07 | answer | added | Andrej Bauer | timeline score: 14 | |
| Apr 8, 2019 at 20:10 | history | asked | Enrico Borba | CC BY-SA 4.0 |