News for hackers. Stuff that matters.

A comment on On Marketing Haskell. Parent comment

Re:On Marketing Haskell by danielscrubs on Sunday May 31, 2020 @08:57AM (#23369284)
To be fair, Agda is a fusion of Martin-Löf type theory and Haskell if my memory serves me.
[ Parent | on HN ]

There are no comments on this comment yet.