pire-0.2.5

Safe HaskellNone
LanguageHaskell2010

Samples.Append

Synopsis

Documentation

append_ :: Size String Source #

>>> pp $ fst $ rinfer $ inferD aprelude  $ listappdef
append = \[a] [m] [n] xs ys . case xs of
           Nil -> ys
           Cons [beta] x xs' -> Cons [plus beta n] x (append [a] [beta] [n] xs' ys)