Timeline for In the Curry-Howard isomorphism as applied to Hindley-Milner types, what proposition corresponds to a -> [a]?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 15, 2016 at 4:41 | history | edited | Eli Rose | CC BY-SA 3.0 |
deleted 1 character in body
|
| Oct 29, 2015 at 1:02 | vote | accept | Eli Rose | ||
| Oct 27, 2015 at 6:01 | history | tweeted | twitter.com/StackCompSci/status/658886099293609984 | ||
| Oct 27, 2015 at 5:13 | history | edited | Eli Rose | CC BY-SA 3.0 |
Fixed grammar
|
| Oct 27, 2015 at 3:01 | answer | added | Jake | timeline score: 3 | |
| Oct 27, 2015 at 2:52 | history | edited | Joey Eremondi | CC BY-SA 3.0 |
Clarify that question is not Haskell specific, add tags
|
| Oct 27, 2015 at 2:50 | answer | added | Joey Eremondi | timeline score: 5 | |
| Oct 27, 2015 at 0:30 | history | asked | Eli Rose | CC BY-SA 3.0 |