Timeline for What subtyping rules does Agda support?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 25, 2022 at 16:39 | vote | accept | ice1000♦ | ||
| Mar 25, 2022 at 15:35 | history | became hot network question | |||
| Mar 25, 2022 at 8:33 | answer | added | Jesper | timeline score: 10 | |
| Mar 25, 2022 at 7:31 | history | asked | ice1000♦ | CC BY-SA 4.0 |