pire-0.2.5

Safe HaskellNone
LanguageHaskell2010

Samples.Nub

Synopsis

Documentation

nub_ :: Size String Source #

>>> pp $ fst $ rinfer $ inferD nprelude  $ listnubdef
nub = \[a] [m] n xs . case n of
        Zero -> Nil  
        Succ n' -> case xs of
          Cons [plus n' m] x xs' -> Cons [n'] x (nub [a] [m] n' xs')