3 ms·
Your example in Haskell: —- ADTs in regular old Haskell data MyBoolean = MyNull | MyTrue | MyFalse —- Refinement types in Liquid Haskell {-@ type MyRa
by nequo 4y ago
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))} @-}