GHC.TypeLits.Induction

Natural number induction

induceIsZero

inducePeano

induceTwosComp

induceBaseComp

Positive number induction

induceUnary

inducePosBinary

inducePosBase