Timeline for What is the intuitive meaning of star and box in a pure type system?
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 29, 2011 at 18:55 | answer | added | user7247 | timeline score: 1 | |
| Dec 3, 2010 at 20:56 | answer | added | none | timeline score: 0 | |
| Apr 30, 2010 at 11:24 | vote | accept | Matthew | ||
| Apr 30, 2010 at 6:33 | history | edited | vonjd |
edited tags
|
|
| Apr 29, 2010 at 21:49 | answer | added | Antonio E. Porreca | timeline score: 5 | |
| Apr 29, 2010 at 21:40 | answer | added | Jacques Carette | timeline score: 9 | |
| Apr 29, 2010 at 19:56 | history | asked | Matthew | CC BY-SA 2.5 |