Make Data.String functions available.
Working around bug #1879 (everything was private).
commit07a80b23ded303391c02fce7745aa76c1d9bf82a
authorImuli <i@imu.li>
dateSat 19 Dec 2015, 09:25 (11 years ago)
parent6b74ec6
libs/base/Data/String.idr+1
@@ -1,4 +1,5 @@
11module Data.String
2+%access public
23
34private
45parseNumWithoutSign : List Char -> Integer -> Maybe Integer