git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
823be86Highlight postulates and their definitionsDavid Raymond Christiansen 42025b0Add pretty printer for %runElabDavid Raymond Christiansen 54cd5a6An interactive Elab shellDavid Raymond Christiansen 9056a4aMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 7f20febDon't totality check PE definitionsEdwin Brady cb1805bAdd local namespace access to ElabDavid Raymond Christiansen 86f415eMerge remote-tracking branch 'refs/remotes/upstream/master' into issue/2333David Raymond Christiansen 5542d1cAdd maximum pretty-printer depth option.David Raymond Christiansen 38123a4Resugaring for do and fromIntegerDavid Raymond Christiansen a604143Fix parenthesization of if ... then ... else ... in pprintDavid Raymond Christiansen 1054d7dAdd UnknownImplicit errorEdwin Brady fbdd59bMark instances on elaboration stackEdwin Brady f2c78d9Merge pull request #2287 from ahmadsalim/feature/showdefaultDavid Christiansen 76ad085Show 'auto' or 'default' + expression instead of 'tacimp'Ahmad Salim Al-Sibahi 0819777Improved type-directed disambiguationEdwin Brady a7e434aAllow Elab scripts to register type class instancesDavid Raymond Christiansen 64ab360Tracking and highlighting of metavariablesDavid Raymond Christiansen 8f9901dAnnotate module imports in source codeDavid Raymond Christiansen 7e8e25bMerge branch 'master' into name-highlightsDavid Raymond Christiansen 45ca5b5Accurate highlighting of proof bindings on the with ruleDavid Raymond Christiansen 0419a12Highlight let bindingsDavid Raymond Christiansen f3fef7ePrecise tracking of bindings in do blocksDavid Raymond Christiansen 56b6850Precise highlighting of instancesDavid Raymond Christiansen cc83850Accurate highlighting for recordsDavid Raymond Christiansen 53e1281Remove PEqMelvar Chen 73b666bMerge remote-tracking branch 'refs/remotes/upstream/master' into name-highlightsDavid Raymond Christiansen 95d90f4Better highlighting for data declarationsDavid Raymond Christiansen 8984d49Remove PRefl and all references to itMelvar Chen 268296fHighlight the names in type declarationsDavid Raymond Christiansen dc69794Merge pull request #2245 from ahmadsalim/bug/fixequalityplicityDavid Christiansen 689e64bHighlight pi and lambda bindersDavid Raymond Christiansen 0cae95aRemoved equality from primNames, as it shouldn't be handle specially when adding implicits (the only current use).Ahmad Salim Al-Sibahi 2f6e736Fixes some string comparison that made sigma show incorrectly. Showing types of first component of sigma type.Ahmad Salim Al-Sibahi c46243bInitial implementation of semantic editor hightlightingDavid Raymond Christiansen 12bcfe4Allow type classes to have explicitly-named instance constructorsDavid Raymond Christiansen c538c34Merge remote-tracking branch 'refs/remotes/upstream/master' into agda-style-recordsDavid Raymond Christiansen 90127b3High-level if ... then ... else ... expressionDavid Raymond Christiansen c1cd201Merge remote-tracking branch 'refs/remotes/upstream/master' into agda-style-recordsDavid Raymond Christiansen 445f6a5Make PDirective IO monad freeNiklas Larsson 673a1fcTweak for types of case blocksEdwin Brady d6458bbAdd `{n} for quotations of the global name nDavid Raymond Christiansen e0b0516Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 53d5548Merge pull request #2167 from david-christiansen/bump-pprint-boundDavid Christiansen f238715Remove unused Show instanceDavid Raymond Christiansen ab9a2bcAdd a :browse command to the REPL and IDE equivalentDavid Raymond Christiansen d97715ePlumb datatype information through the proof stateDavid Raymond Christiansen 370939bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady f987aecAdd info field to AppEdwin Brady 31f4c82Pretty-print bindings of MNs the same as references to MNsDavid Raymond Christiansen f1c6e39Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen