git.iko.soy/Idris-dev
on aeb032a help sign in
history ofsrc/Idris/Parser/Data.hs
all commits
a858866WIPJason Felice 1f8db23Import Trifecta qualified as PJason Felice 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 3dc90d3Fix for implicits in recordsEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 635fb40Unify almost identical checkFixity' functions.Björn Aili a6f56ceFix #3275Björn Aili 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 0896073Added documentation for modules.Jan de Muijnck-Hughes 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes 9297ae4Allow 'data' declarations in interfacesEdwin Brady c7bac29Extended syntax for 'with' blocksEdwin Brady fdfd99eFix behaviour of %hideEdwin Brady e95b013Made Parser submodules actual submodules.Jan de Muijnck-Hughes