yhseq-0.3.0.0: Calculation of YH sequence system

Safe HaskellSafe
LanguageHaskell2010

Numeric.YHSeq.V0111

Synopsis

Documentation

data Cofinal Source #

Constructors

IsZero 
IsSucc 
IsLimit 

yhseq :: Seq -> Integer -> Integer Source #

It's a very very large function.