git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2177 from david-christiansen/divMod-access
b26c71cDavid Christiansen
libs/contrib/Data/Nat.idr+1
compare with master
unifiedsplit
@@ -7,6 +7,7 @@ import Data.So
7import Control.WellFounded
7import Control.WellFounded
8
8
9%default total
9%default total
10+%access public
10
11
11||| A strict less-than relation on `Nat`.
12||| A strict less-than relation on `Nat`.
12|||
13|||