git.iko.soy/Idris-dev
on bc8da8d help sign in
history ofsrc/Idris/Parser/Ops.hs
all commits
3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 5e9d8deUse Megaparsec for expressions, remove `parsers` depJason Felice a858866WIPJason Felice 1f8db23Import Trifecta qualified as PJason Felice 13308b1Allow declaring fixity of ticked operators (#4140)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice 5d7388bMove extensions into source filesEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 635fb40Unify almost identical checkFixity' functions.Björn Aili a6f56ceFix #3275Björn Aili 0896073Added documentation for modules.Jan de Muijnck-Hughes c7bac29Extended syntax for 'with' blocksEdwin Brady e95b013Made Parser submodules actual submodules.Jan de Muijnck-Hughes