News for hackers. Stuff that matters.

A comment on “Design Patterns” Aren't (2002). Parent comment

Re:“Design Patterns” Aren't (2002) by centimeter on Sunday March 07, 2021 @02:37PM (#26379003)
See LiquidHaskell for probably the most mature SMT-based refinement types implementation.
[ Parent | on HN ]

There are no comments on this comment yet.