Timeline for Structural induction over list
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 12, 2015 at 10:16 | comment | added | David Richerby | Well spotted! Welcome to Computer Science. | |
| Jan 11, 2015 at 20:06 | vote | accept | CommunityBot | ||
| Jan 11, 2015 at 19:55 | review | First posts | |||
| Jan 12, 2015 at 10:16 | |||||
| Jan 11, 2015 at 19:52 | history | answered | Paul Herman | CC BY-SA 3.0 |