7ae1321 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

fix example

7ae1321Saurabh Rawat11 years ago

libs/base/Data/String.idr+1

compare with master

@@ -4,6 +4,7 @@ module Data.String

4|||

4|||

5||| ```idris example

5||| ```idris example

6||| parsePositive "123"

6||| parsePositive "123"

7+||| ```

7||| ```idris example

8||| ```idris example

8||| parsePositive {a=Int} " +123"

9||| parsePositive {a=Int} " +123"

9||| ```

10||| ```