git.iko.soy/Idris-dev
on bf37049 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
9e8930dMerge pull request #2857 from LeifW/watch_files_for_changesEdwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady 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 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 49fae22Add option to desugar nats in REPL outputben-schulz 90bbf06Add deprecation warning for %elimDavid Raymond Christiansen 60b43b4Add raw name quotesDavid Raymond Christiansen 3f31e4eAdd support to keep track of records in IBC filesGuglielmo Fachini 555feb5Add support to keep track of records in IStateGuglielmo Fachini 55ffc21Some display tweaks for explicit argumentsEdwin Brady dfba993Experimental support for console colours on WindowsDavid Raymond Christiansen ffb50e2Insert namespace information to declaration-level %runElabDavid Raymond Christiansen 93761d5Fix source locations for decl syntaxDavid Raymond Christiansen 0655d3dAllow syntax rules at the declaration levelEdwin Brady ab63941Added top-level %runElab supportDavid Raymond Christiansen 7a5392dDisplay tweakEdwin Brady 96e9b1aVariable names in makelemma typesEdwin Brady 7095d6cProof search should only use user visible namesEdwin Brady 5bd5777Add :makecase (:mc) to REPL and ide-modeEdwin Brady 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