Timeline for Is there any difference between extensible records and dependent maps
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 20, 2016 at 20:45 | vote | accept | Alex R | ||
| Jun 17, 2016 at 14:23 | answer | added | Andrej Bauer | timeline score: 6 | |
| Jun 17, 2016 at 11:29 | history | edited | Raphael |
edited tags
|
|
| Jun 16, 2016 at 19:02 | history | tweeted | twitter.com/StackCompSci/status/743519172618035204 | ||
| Jun 16, 2016 at 15:05 | history | asked | Alex R | CC BY-SA 3.0 |