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 |