Merge pull request #4448 from zenntenn/fix/master/difference
Finds the difference between two Nats
commitfe79d87fe1147429d2d18715838d33e899570244
authorDavid Thrane Christiansen <david@davidchristiansen.dk>
dateSun 27 May 2018, 15:32 (8 years ago)
parent61cf812437b0e9
libs/contrib/Data/Nat.idrnew file+8
@@ -0,0 +1,8 @@
1+module Data.Nat
2+
3+%default total
4+
5+diff : Nat -> Nat -> Nat
6+diff k Z = k
7+diff Z j = j
8+diff (S k) (S j) = diff k j
libs/contrib/contrib.ipkg+1
@@ -43,6 +43,7 @@ modules = CFFI
4343 , Data.Matrix.Algebraic
4444 , Data.Matrix.Numeric
4545
46+ , Data.Nat
4647 , Data.Nat.Parity
4748 , Data.Nat.DivMod
4849 , Data.Nat.DivMod.IteratedSubtraction