lude

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

Verum.hs (206B)

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