lude

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

Wip.hs.txt (370B)

      1 -- type (==>) :: Constraint -> Constraint -> Constraint
      2 -- class a ==> b where hom :: a :- b
      3 
      4 -- curry :: forall a b c. ((a, b) ==> c) :- a ==> (b ==> c)
      5 -- curry = MkEntailment (withDict @(b ==> c) (MkEntailment MkEvidence) MkEvidence)
      6 
      7 -- type Cps :: Endo Constraint
      8 -- class Cps a where runCps :: forall r. ((a) => r) -> r
      9 -- instance (a) => Cps a where runCps k = k