git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/Parser/Helpers.hs
all commits
250eb73Merge pull request #3921 from geigerzaehler/remove-old-ghcNiklas Larsson 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson c4ac8cbDrop support for GHC <= 7.10.3Thomas Scholtes 491633bSyntax for linear argumentsEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0df1270Change Instance to implementation (#3404)(λ _ λ) 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) c3f0755replace code level class symbol with inferfacezjhmale a09a1bfBuild with GHC8 and trifecta-1.6David Kraeutmann 0896073Added documentation for modules.Jan de Muijnck-Hughes 254a227More control over resolving named implementationsEdwin Brady 4ce82f8Pass scope through to local interfacesEdwin Brady e9cb749Refactor operator/reserved word parsingEcho Nolan ceff983Add @ to reserved operatorsEcho Nolan a009be6Allow setting function flags on instancesEdwin Brady fdfd99eFix behaviour of %hideEdwin Brady e95b013Made Parser submodules actual submodules.Jan de Muijnck-Hughes