News for hackers. Stuff that matters.

A comment on What I Wish I Knew When Learning Haskell.

Re:What I Wish I Knew When Learning Haskell by privethedge on Sunday April 12, 2020 @05:26AM (#22846993)
For those who really want to blow their mind, I suggest learning Coq instead https://softwarefoundations.cis.upenn.edu/
[ Parent | on HN ]

There are no comments on this comment yet.