Timeline for In Agda, why is universe polymorphism explicit?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Mar 23, 2022 at 12:55 | history | suggested | András Kovács | CC BY-SA 4.0 |
I'm pretty sure this is the intended wording
|
| Mar 23, 2022 at 12:54 | review | Suggested edits | |||
| S Mar 23, 2022 at 12:55 | |||||
| Mar 23, 2022 at 12:21 | history | answered | gallais | CC BY-SA 4.0 |