Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Linear types are merged in GHC. Parent comment
https://math.stackexchange.com/questions/2339147/why-is-it-c...
Apparently there is some connection to vector spaces in the structure of linear logic which linear types are based on.
There are no comments on this comment yet.
https://math.stackexchange.com/questions/2339147/why-is-it-c...
Apparently there is some connection to vector spaces in the structure of linear logic which linear types are based on.