Added function to module Data.Nat
modified: libs/contrib/Data/Nat/Difference.idr
commit5229ca190da251d0d215a130fb13cdcede1088b4
authorzenntenn <zenten@zenten.ca>
dateFri 25 May 2018, 10:05 (8 years ago)
parentd3badf2
libs/contrib/Data/Nat/Difference.idr+2
@@ -1,3 +1,5 @@
1+module Data.Nat
2+
13%default total
24
35diff : Nat -> Nat -> Nat