Contents
Index
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
Compare
Numeric.Peano.Typelevel
Div'
Numeric.Peano.Typelevel
foldlNat
Numeric.Peano
foldrNat
Numeric.Peano
FromLit
Numeric.Peano.Typelevel
FromLit2
Numeric.Peano.Typelevel
Max
Numeric.Peano.Typelevel
Min
Numeric.Peano.Typelevel
Nat
Numeric.Peano
Rem'
Numeric.Peano.Typelevel
S
Numeric.Peano
ToLit
Numeric.Peano.Typelevel
Z
Numeric.Peano