Merge pull request #2177 from david-christiansen/divMod-access
Fix access modifiers in Data.Nat in contrib
commitb26c71c5c898d816171cc0b0614bedd0e222c37e
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 22 Apr 2015, 20:39 (12 years ago)
parent53d55488301f67
libs/contrib/Data/Nat.idr+1
@@ -7,6 +7,7 @@ import Data.So
77import Control.WellFounded
88
99%default total
10+%access public
1011
1112||| A strict less-than relation on `Nat`.
1213|||