Skip to main content
7 events
when toggle format what by license comment
May 31, 2019 at 15:32 answer added JimmyJames timeline score: 2
May 31, 2019 at 15:21 comment added cbojar See also the type theory concept of the top type
May 31, 2019 at 15:03 answer added Robert Harvey timeline score: 6
May 31, 2019 at 14:56 answer added nadir timeline score: 1
May 31, 2019 at 13:35 review Close votes
Jun 8, 2019 at 3:05
May 31, 2019 at 11:18 history edited Dai CC BY-SA 4.0
added 152 characters in body
May 31, 2019 at 11:13 history asked Dai CC BY-SA 4.0