natural-arithmetic-0.2.3.0: Arithmetic of natural numbers

Index - A

absurd 
1 (Function)Arithmetic.Lt
2 (Function)Arithmetic.Fin
ascendArithmetic.Fin
ascend'Arithmetic.Fin
ascendFrom'Arithmetic.Fin
ascendFrom'#Arithmetic.Fin
ascendFromToM_#Arithmetic.Fin
ascendingArithmetic.Fin
ascendingSliceArithmetic.Fin
ascendMArithmetic.Fin
ascendM#Arithmetic.Fin
ascendM_Arithmetic.Fin
ascendM_#Arithmetic.Fin
associativeArithmetic.Plus