lean-peano-1.0.1.0: A maximally lazy, simple implementation of the Peano numbers with minimal dependencies

Index

%Numeric.Peano.Typelevel
*Numeric.Peano.Typelevel
+Numeric.Peano.Typelevel
-Numeric.Peano.Typelevel
/Numeric.Peano.Typelevel
<Numeric.Peano.Typelevel
<=Numeric.Peano.Typelevel
==Numeric.Peano.Typelevel
CompareNumeric.Peano.Typelevel
foldlNat'Numeric.Peano
foldrNatNumeric.Peano
FromLitNumeric.Peano.Typelevel
MaxNumeric.Peano.Typelevel
MinNumeric.Peano.Typelevel
NatNumeric.Peano
SNumeric.Peano
ToLitNumeric.Peano.Typelevel
ZNumeric.Peano