Merge pull request #2870 from imuli/data-string-fix
Make Data.String function available.
commit5b13b4e7efe2af5837c85d1c4bbe8ce64ee81905
authorNiklas Larsson <metaniklas@gmail.com>
dateThu 31 Dec 2015, 15:38 (11 years ago)
parentbf7d26c07a80b2
libs/base/Data/String.idr+1
@@ -1,4 +1,5 @@
11module Data.String
2+%access public
23
34private
45parseNumWithoutSign : List Char -> Integer -> Maybe Integer