News for hackers. Stuff that matters.

A comment on Idris 2 0.6.0 is now available for the JVM. Parent comment

Re:Idris 2 0.6.0 is now available for the JVM by nequo on Monday February 27, 2023 @07:37AM (#34955688)
Your example in Haskell:

  —- ADTs in regular old Haskell
  data MyBoolean = MyNull | MyTrue | MyFalse

  —- Refinement types in Liquid Haskell
  {-@ type MyRange = {v:Int | ((v >= 3) && (v <= 5))} @-}
[ Parent | on HN ]

There are no comments on this comment yet.