git.iko.soy/Idris-dev
on master help sign in
history offc8da5f..master
compare
6c2f32eFix typos, add small clarifications in type class chapter of tutorial.Franklin Chen ad55342Fix syntax rule documentationv0.9.18Edwin Brady e8e7cd8Fix for simple applicationsEdwin Brady 58c7834Merge pull request #2288 from david-christiansen/absolute-directory-annotsDavid Christiansen 0d01d0dMore precision for trivialEdwin Brady f2c78d9Merge pull request #2287 from ahmadsalim/feature/showdefaultDavid Christiansen 2de8a47Send absolute file names in annotationsDavid Raymond Christiansen 521ef9bFix totality of chrEdwin Brady 76ad085Show 'auto' or 'default' + expression instead of 'tacimp'Ahmad Salim Al-Sibahi cc865aaAdd Elab reflection to CHANGELOGDavid Christiansen 0819777Improved type-directed disambiguationEdwin Brady a52c76eMerge pull request #2286 from david-christiansen/wip/tacticalDavid Christiansen d1ad414Merge pull request #2284 from Melvar/leftover-floatDavid Christiansen e6e5472Fix a few user-visible leftover uses of “Float”Melvar Chen f350697Evaluate Elab scripts in their own environment rather than the internal reflected environmentDavid Raymond Christiansen fc709feMerge pull request #2283 from david-christiansen/wip/tacticalNiklas Larsson 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