Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Haskell is not category theory.
https://math.andrej.com/2016/08/06/hask-is-not-a-category/
Mathematicians are still thinking about this stuff.
A recent post by Mike Shulman, asking about Agda (Haskell for mathematicians):
https://proofassistants.stackexchange.com/questions/1887/cat...
There are no comments on this comment yet.
https://math.andrej.com/2016/08/06/hask-is-not-a-category/
Mathematicians are still thinking about this stuff.
A recent post by Mike Shulman, asking about Agda (Haskell for mathematicians):
https://proofassistants.stackexchange.com/questions/1887/cat...