git.iko.soy/Idris-dev
on 0924f34 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
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 b92f7acNew implementation of rewriteEdwin Brady c7bac29Extended syntax for 'with' blocksEdwin Brady c9d2027Use exact name lookup for hidingEdwin Brady 92a4d84Implicit bindings warningsEdwin Brady a7f75c5Merge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsingEdwin Brady eaf5211Add the ability to define datatypes in ElabDavid Raymond Christiansen be0ff0fAdd 'definable' flag to metavariablesEdwin Brady a009be6Allow setting function flags on instancesEdwin Brady fdfd99eFix behaviour of %hideEdwin Brady fd2501bRenamed `DepPair` to DPairJan de Muijnck-Hughes