lean-peano-0.1.0.0

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
Div'Numeric.Peano.Typelevel
foldlNatNumeric.Peano
foldrNatNumeric.Peano
FromLitNumeric.Peano.Typelevel
FromLit2Numeric.Peano.Typelevel
MaxNumeric.Peano.Typelevel
MinNumeric.Peano.Typelevel
NatNumeric.Peano
Rem'Numeric.Peano.Typelevel
SNumeric.Peano
ToLitNumeric.Peano.Typelevel
ZNumeric.Peano