Timeline for What happened to Conor McBride's universe polymorphism proposal?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 7, 2022 at 2:08 | vote | accept | ice1000♦ | ||
| Feb 10, 2022 at 20:55 | comment | added | Carter Tazio Schonwald | woops! i meant to link a different paper by the same fellow sozeau.gitlabpages.inria.fr/www/research/publications/… | |
| Feb 10, 2022 at 8:27 | comment | added | Meven Lennon-Bertrand♦ | You’ve given the same link twice! | |
| Feb 9, 2022 at 23:07 | comment | added | Carter Tazio Schonwald | so theres actually two different flavors of how Coq does this, pre vs post ~2015 ish. the post 2015 treatment is touched on in : sozeau.gitlabpages.inria.fr/www/research/publications/… and to a lesser extent in sozeau.gitlabpages.inria.fr/www/research/publications/… . theres probably some details i'm glossing over | |
| S Feb 9, 2022 at 13:05 | review | First answers | |||
| Feb 9, 2022 at 13:32 | |||||
| S Feb 9, 2022 at 13:05 | history | suggested | Glorfindel | CC BY-SA 4.0 |
typos corrected
|
| Feb 9, 2022 at 13:05 | review | Suggested edits | |||
| S Feb 9, 2022 at 13:05 | |||||
| S Feb 9, 2022 at 12:36 | review | First answers | |||
| Feb 9, 2022 at 13:05 | |||||
| S Feb 9, 2022 at 12:36 | history | answered | Meven Lennon-Bertrand♦ | CC BY-SA 4.0 |