fix example
commit7ae13219a7667ca78f64cda724a82dfec8fe966d
authorSaurabh Rawat <saurabh.rawat90@gmail.com>
dateMon 5 Oct 2015, 21:31 (11 years ago)
parentc2a473a
libs/base/Data/String.idr+1
@@ -4,6 +4,7 @@ module Data.String
44|||
55||| ```idris example
66||| parsePositive "123"
7+||| ```
78||| ```idris example
89||| parsePositive {a=Int} " +123"
910||| ```