Timeline for Maths needed to understand theory behind Haskell's type system?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 14, 2013 at 1:35 | vote | accept | Rob | ||
| Oct 14, 2013 at 1:35 | vote | accept | Rob | ||
| Oct 14, 2013 at 1:35 | |||||
| Oct 4, 2013 at 3:02 | comment | added | ChaosPandion | That seems good. I figured just saying the names won't be enough to pique the interests of many people. | |
| Oct 4, 2013 at 3:00 | comment | added | daniel gratzer | @ChaosPandion Updated | |
| Oct 4, 2013 at 3:00 | history | edited | daniel gratzer | CC BY-SA 3.0 |
added 121 characters in body
|
| Oct 4, 2013 at 2:55 | comment | added | ChaosPandion | A brief description of Agda and Coq would be useful. | |
| Oct 4, 2013 at 2:52 | history | edited | daniel gratzer | CC BY-SA 3.0 |
added 121 characters in body
|
| Oct 4, 2013 at 2:47 | history | answered | daniel gratzer | CC BY-SA 3.0 |