git.iko.soy/Idris-dev
on master help sign in
added comment for testing
b8f342dMelissa
contribs/lib/simpleparser.idr+1−1
compare with master
unifiedsplit
@@ -27,7 +27,7 @@ instance MonadPlus Parser where
27 mplus p q = P (\inp => case parse p inp of
27 mplus p q = P (\inp => case parse p inp of
28 Left msg => parse q inp
28 Left msg => parse q inp
29 Right (v,out) => Right(v,out))
29 Right (v,out) => Right(v,out))
30−
30+-- this is a comment for testing
31
31
32
32
33{-
33{-