News for hackers. Stuff that matters.

A comment on Code is Engineering; Types are Science. Parent comment

Re:Code is Engineering; Types are Science by naasking on Monday April 06, 2020 @09:08PM (#22799478)
LiquidHaskell!
[ Parent | on HN ]

There are no comments on this comment yet.