Timeline for In Agda, why is universe polymorphism explicit?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 23, 2022 at 12:21 | answer | added | gallais | timeline score: 7 | |
| Mar 15, 2022 at 12:34 | history | edited | Glorfindel | CC BY-SA 4.0 |
added 1 character in body
|
| Feb 10, 2022 at 22:00 | vote | accept | Sean O'Connor | ||
| Feb 10, 2022 at 3:52 | history | edited | ice1000♦ | CC BY-SA 4.0 |
edited title
|
| Feb 10, 2022 at 3:52 | answer | added | ice1000♦ | timeline score: 15 | |
| S Feb 10, 2022 at 1:53 | review | First questions | |||
| Feb 10, 2022 at 3:17 | |||||
| S Feb 10, 2022 at 1:53 | history | asked | Sean O'Connor | CC BY-SA 4.0 |