git.iko.soy/Idris-dev
on 2a68244 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
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 5e0e4e9Renamed `UniquePair` to `UPair`.Jan de Muijnck-Hughes 8ed216aRenamed `UPair` to `UniquePair`Jan de Muijnck-Hughes 2951828Idris/AST: minor readability improvementsHeather 8a9ca44Added %auto_implicits directiveEdwin Brady eba5123Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady e3e35a5New rules for name visibilityEdwin Brady faf0b57Merge pull request #2906 from ahmadsalim/feature/uniformstaticanotationJan de Muijnck-Hughes 6042cfeKeep track of names defined in current moduleEdwin Brady 0175376Remove some unnecessary fieldsEdwin Brady be33df4Force sharing of TT sub terms when loading ibcEdwin Brady 8fb4f7fChanged the '[static]' annotation to '%static', for uniformity with the rest of the language.Ahmad Salim Al-Sibahi 9e8930dMerge pull request #2857 from LeifW/watch_files_for_changesEdwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady d77753dMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/deppairparsingAhmad Salim Al-Sibahi fd9003bAdded flag to display available logging categories.Jan de Muijnck-Hughes 5f3e700Added new logging category for IBC operations.Jan de Muijnck-Hughes 39a8c78Categorised the Logs.Jan de Muijnck-Hughes 5dc9d1aUpdated logging categories.Jan de Muijnck-Hughes 51e6a29Added a :watch command to the repl to watch for file changesLeif Warner d901c69Initial commit for a category based logger for Idris.Jan de Muijnck-Hughes 9f3675aStore patvar binding types in idris_patdefsShea Levy 06edf43Add implicit lambdas for top level implicitsEdwin Brady c6a8862Add %deprecate directiveEdwin Brady 7bf0ea3Pretty-printer for new nested dependent pair syntaxDavid Raymond Christiansen ce403f6Merge remote-tracking branch 'upstream/master' into wip/tacticalDavid Raymond Christiansen b678d7cChanged scoping rules for unbound implicits.Edwin Brady 30f55ceMerge remote-tracking branch 'upstream/master' into wip/tacticalDavid Raymond Christiansen 1d40dbdMake it possible to disable tactic deprecationDavid Raymond Christiansen 6d7d3bdMerge pull request #2630 from david-christiansen/namesInQQDavid Christiansen 071d34bMake name operations on PTerm quotation-awareDavid Raymond Christiansen