News for hackers. Stuff that matters.

A comment on Haskell and Rust. Parent comment

Re:Haskell and Rust by pron on Saturday November 09, 2019 @08:02PM (#21495662)
Agda. ATS. Idris. Liquid Haskell would be medium-strength.
[ Parent | on HN ]

There are no comments on this comment yet.