lude

Haskell prelude alternative
git clone git://git.rr3.xyz/lude | git clone gits://git.rr3.xyz/lude
Log | Files | Refs | README | LICENSE

Falsum.hs (225B)

      1 module Lude.Constraint.Falsum (
      2     Falsum (..),
      3 ) where
      4 
      5 import Lude.Haskell
      6 
      7 --------------------------------------------------------------------------------
      8 
      9 type Falsum :: Constraint
     10 class Falsum where contradiction :: a