Data.String.Extra: add missing access directive
commitd2a3cf013bcf2fc17e09ee87624c43d042f52054
authorMichael Morgan <morgan.michael@me.com>
dateMon 6 Nov 2017, 15:59 (9 years ago)
parentd6c48ee
libs/contrib/Data/String/Extra.idr+3
@@ -1,5 +1,8 @@
11module Data.String.Extra
22
3+%access public export
4+%default total
5+
36infixl 5 +>
47infixr 5 <+
58