git.iko.soy/Idris-dev
on master help sign in
Comment on grammar fix [ci skip]
f21ab67Ahmad Salim Al-Sibahi
src/Idris/ParseExpr.hs−1
compare with master
unifiedsplit
@@ -201,7 +201,6 @@ InternalExpr ::=
201 | CaseExpr
201 | CaseExpr
202 | DoBlock
202 | DoBlock
203 | App
203 | App
204− | MatchApp
205 ;
204 ;
206@
205@
207-}
206-}