Fix access modifiers in Data.Nat in contrib
commit8301f67b7b05aec4f7161070d7f1dcedc35286a3
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateWed 22 Apr 2015, 19:30 (12 years ago)
parent53d5548
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|||