Timeline for Type theory and fixed points of datatypes
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 2, 2021 at 22:18 | history | edited | Joey Eremondi | CC BY-SA 4.0 |
Set -> Type
|
| Dec 2, 2021 at 19:51 | history | answered | Joey Eremondi | CC BY-SA 4.0 |