Timeline for Can we use relational parametricity to simplify the type $\forall a. ( (a \to r) \to r ) \to (a \to r) \to r$?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 5, 2023 at 13:36 | vote | accept | winitzki | ||
| S Sep 29, 2022 at 10:29 | review | First answers | |||
| Oct 5, 2022 at 20:11 | |||||
| S Sep 29, 2022 at 10:29 | history | answered | winitzki | CC BY-SA 4.0 |