git.iko.soy/Idris-dev
on b0899cc help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
8ea27aeRemove a needless 'nub'Edwin Brady 0f3e4e3Apply forcing optimisation on LHSEdwin Brady 001dfedFix a source of major slownessEdwin Brady 7537cc4Change totality checking and inliningEdwin Brady 4057b48Modify pretty printer for lambdasEdwin Brady 9ca1d73Print interface parameter constraints in :docOskar Wickström f467346Detect implicit parameters to interfacesEdwin Brady 8c2a516Overidable overlapping implementation checkEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan de5a79cAllow Idris to install IdrisDoc into a central location.Jan de Muijnck-Hughes 0df1270Change Instance to implementation (#3404)(λ _ λ) 16b0fe8Merge pull request #3396 from enolan/port-noneAhmad Salim Al-Sibahi 4615cffMerge pull request #3399 from enolan/hot-commentsAhmad Salim Al-Sibahi 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan 9c636f4Remove a bunch of "deriving instance NFData" hot commentsEcho Nolan e0c893cMerge pull request #3381 from david-christiansen/purificationDavid Christiansen 160eb14Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 7c1a2c6Add %static annotation on functionsEdwin Brady f754d9cPurify Idris of "return"David Christiansen c3f0755replace code level class symbol with inferfacezjhmale 769301bAdded `--sourcepath` optionAhmad Salim Al-Sibahi 7973024Some internal structural Changes.Jan de Muijnck-Hughes bdf2d7aRemove pretty printing reduction limitEdwin Brady d52e4f3Add source location data to PUniverseBartosz Przygoda cb210b1Addition of a command line flag `--info`.Jan de Muijnck-Hughes 3a3976bBetter pretty printing of case blocksEdwin Brady 9baa5ceUse GHC generics for NFData instancesEcho Nolan 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 8442cefDeprecate '%assert_total'Edwin Brady fdfa04cStore file with constraints + exportEdwin Brady 4ed9c1bAdded %thaw directiveEdwin Brady c70672dFix ordering of dependent patterns/implicitsEdwin Brady ef0ce29Set a limit on partial evaluation depthEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 2cfcbcfPositivity checking under parametersEdwin Brady 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes e34849fPrettier printing in case splittingEdwin Brady d2a8c3eFold portable into CodegenNiklas Larsson 80225afExport intermediate representation as JSONNiklas Larsson 5a937ccMore flexibility in constraint argumentsEdwin Brady 9297ae4Allow 'data' declarations in interfacesEdwin Brady a41ca33Merge branch 'master' of https://github.com/idris-lang/Idris-dev into colin-adams-coveringAhmad Salim Al-Sibahi 254a227More control over resolving named implementationsEdwin Brady 4ce82f8Pass scope through to local interfacesEdwin Brady 41e3c52Added covering as a possible value for %defaultColin Adams c6c47aeMerge pull request #3118 from jfdm/fragile-directiveJan de Muijnck-Hughes 6b64e74Fixed formatting of directives adt.Jan de Muijnck-Hughes c56d5cfAddition of a Fragile directive.Jan de Muijnck-Hughes c2b01ccmkUniqueName fixEdwin Brady