Timeline for What is coinduction?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 11, 2016 at 17:35 | history | edited | Gilles 'SO- stop being evil' | CC BY-SA 3.0 | added references suggested by Anton Trunov |
| May 11, 2016 at 17:08 | history | edited | Gilles 'SO- stop being evil' | CC BY-SA 3.0 | I accidentally mitted a letter (thanks Anton Trunov) |
| May 11, 2016 at 16:51 | history | edited | Anton Trunov | CC BY-SA 3.0 | added the missing parameter to the from function |
| Oct 1, 2012 at 0:08 | history | tweeted | twitter.com/#!/StackCompSci/status/252560519309963264 | ||
| Apr 4, 2012 at 10:32 | vote | accept | Dave Clarke | ||
| Mar 20, 2012 at 11:09 | history | edited | Gilles 'SO- stop being evil' | CC BY-SA 3.0 | I accidentally a word (thanks Raphael) |
| Mar 20, 2012 at 8:27 | history | answered | Gilles 'SO- stop being evil' | CC BY-SA 3.0 |