News for hackers. Stuff that matters.

A comment on Notes on Idris (2017). Parent comment

Re:Notes on Idris (2017) by nickpsecurity on Thursday June 07, 2018 @05:18PM (#17260361)
Liquid Haskell is probably the closest to Idris in its goals:

https://wiki.haskell.org/Liquid_Haskell

[ Parent | on HN ]

There are no comments on this comment yet.