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
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 27, 2015 at 3:01 | history | answered | Jake | CC BY-SA 3.0 |