git.iko.soy/Idris-dev
on a95debf help sign in
a95debfFix reflection of special namesDavid Raymond Christiansen 3034fb6Remove argument ordering hack in elaboratorEdwin Brady f79455eUpdate version numberEdwin Brady d46f56aMerge pull request #2282 from melted/ibc_seqNiklas Larsson 518055fFully evaluate Text from BinaryNiklas Larsson 1d8723bMerge pull request #2275 from david-christiansen/wip/tacticalDavid Christiansen cf92511Merge pull request #2272 from supki/patch-1David Christiansen 91649d4Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 4ad2949Merge pull request #2277 from melted/cflagsNiklas Larsson ac80229Add feature to add compiler flags from environment with IDRIS_CFLAGSNiklas Larsson 58cd7bfMerge pull request #2281 from melted/backjumpsNiklas Larsson 110a144Allow unlimited backjumps in solving depsNiklas Larsson f8cb234Reading from a file shouldn't strip \nEdwin Brady ac26e38Document the Elab module itselfDavid Raymond Christiansen 8826739Add documentation for all exported names from ElabDavid Raymond Christiansen e80793dAllow Elab scripts to do type class resolutionDavid Raymond Christiansen a7e434aAllow Elab scripts to register type class instancesDavid Raymond Christiansen dcdfd85Lookup exact names in TypecheckEdwin Brady 3f1b008Update bug referenceMatvey B. Aksenov 1b7359cMerge pull request #2265 from david-christiansen/executable-fixDavid Christiansen 45d9624Stop generating bogus executable namesDavid Raymond Christiansen 4459fb5Merge pull request #2262 from benjamin-hodgson/patch-1David Christiansen 58d59e8Correct parameter names in documentationBenjamin Hodgson d215440Merge pull request #2257 from david-christiansen/name-highlightsDavid Christiansen 64ab360Tracking and highlighting of metavariablesDavid Raymond Christiansen 6ecd591Merge pull request #2256 from david-christiansen/name-highlightsDavid Christiansen 9b5f784Merge pull request #2253 from david-christiansen/browse-commandDavid Christiansen 8f9901dAnnotate module imports in source codeDavid Raymond Christiansen c3cce61Only show accessible names in :browseDavid Raymond Christiansen 3b0d650Merge pull request #2252 from david-christiansen/name-highlightsDavid Christiansen 8bc867dUpdate CHANGELOG for semantic highlightsDavid Christiansen 56e8355Fix elaboration of "with ... proof ..." clausesDavid Raymond Christiansen 591556aMerge pull request #2250 from david-christiansen/name-highlightsDavid Christiansen 7e8e25bMerge branch 'master' into name-highlightsDavid Raymond Christiansen f07ac48Merge pull request #2251 from Melvar/remove-preflDavid Christiansen 77a732eAdd workaround for partial FC functionsDavid Raymond Christiansen acdf90fBe a bit more conservative about highlighting outputDavid 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 75e3863Merge pull request #2244 from ulidtko/patch-1Jan de Muijnck-Hughes 56b6850Precise highlighting of instancesDavid Raymond Christiansen cc83850Accurate highlighting for recordsDavid Raymond Christiansen c303a38Properly highlight 0-argument constructor patternsDavid Raymond Christiansen 5cb8ec3Be more careful with implicit FCsDavid 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