Timeline for Examples of Universe inconsistency in normal use of dependent types
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 27, 2016 at 18:39 | vote | accept | fread2281 | ||
| Feb 24, 2016 at 19:38 | history | answered | cody | CC BY-SA 3.0 |