Timeline for The meaning of the recursive type μt.t
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 7 at 8:41 | answer | added | winitzki | timeline score: 1 | |
| Sep 28 at 14:28 | history | became hot network question | |||
| Sep 28 at 7:11 | vote | accept | LaR | ||
| Sep 27 at 17:31 | answer | added | Naïm Favier | timeline score: 5 | |
| Sep 27 at 16:13 | history | asked | LaR | CC BY-SA 4.0 |