added comment for testing
commitb8f342d5156eb7afb0be241c3250091641709066
authorMelissa <mfm6@st-andrews.ac.uk>
dateMon 9 Jul 2012, 17:03 (14 years ago)
parentc286d1b
contribs/lib/simpleparser.idr+1−1
@@ -27,7 +27,7 @@ instance MonadPlus Parser where
2727 mplus p q = P (\inp => case parse p inp of
2828 Left msg => parse q inp
2929 Right (v,out) => Right(v,out))
30−
30+-- this is a comment for testing
3131
3232
3333{-