git.iko.soy/Idris-dev
on 54e4e41 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
740d82dDisplay normalised types on :t for expressionsEdwin Brady dda41afMerge pull request #2463 from melted/cgoptionsNiklas Larsson 64df5f6Added WHNF moduleEdwin Brady f5bff01Pass parameters to codegens with new cmdoption --cg-optNiklas Larsson c9c3bfaSemantic highlighting of implicit fromIntegerDavid Raymond Christiansen bc2915cMerge remote-tracking branch 'upstream/master' into parser-highlightsDavid Raymond Christiansen 5da0d60Faster processing of alternativesEdwin Brady a54852bHighlighting for pairs, lists and sigmasDavid Raymond Christiansen 8b252bdMerge pull request #2442 from david-christiansen/parser-highlightsDavid Christiansen 3cd25e6Add extra HL information to PRefDavid Raymond Christiansen 0dd2f06Restrict (and speed up) implicit coercionsEdwin Brady e04ba85Highlight names in directivesDavid Raymond Christiansen c2bf84fMerge pull request #2429 from david-christiansen/parser-highlightsDavid Christiansen 09f56a7Add compiler highlighting for quoted names in sourceDavid Raymond Christiansen b709748Merge pull request #2428 from david-christiansen/parser-highlightsDavid Christiansen 9a7f7d9Make 'case' more flexible with dependent typesEdwin Brady 520f367Initial parser-driven highlightingDavid Raymond Christiansen ac68541Dump highlighting infoDavid Raymond Christiansen 8d96041Annotate links with their URLDavid Raymond Christiansen 5457da9Merge pull request #2384 from david-christiansen/syntax-fcDavid Christiansen c48561fBetter approximation of syntax rule errorsDavid Raymond Christiansen e9e7993Replace absurd syntax rule FCsDavid Raymond Christiansen 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