git.iko.soy/Idris-dev
on e426fa2 help sign in
e426fa2Merge pull request #2311 from BartAdv/docfixesJan de Muijnck-Hughes fc3d02bAdd missing code snippet to provisional.rstBartosz 42a1719Merge pull request #2303 from david-christiansen/issue/2302Niklas Larsson ec83cb2Fix Haddock parse errorDavid Raymond Christiansen 9d295beFix dictionary arguments in dependent type class methodsDavid Raymond Christiansen db84bf8Merge pull request #2300 from david-christiansen/ide-mode-docsJan de Muijnck-Hughes 5a366acUnknown implicit checking for nullary functionsEdwin Brady 1054d7dAdd UnknownImplicit errorEdwin Brady 309189cMerge pull request #2301 from melted/version_tweakDavid Christiansen 5b8ad9fMerge pull request #2299 from david-christiansen/issue/2298David Christiansen 27ccd9aMove IDE protocol docsDavid Raymond Christiansen ae16e9dDon't show a trailing dash if a relase versionNiklas Larsson 9174cf3Merge pull request #2297 from david-christiansen/reflection-improvementsDavid Christiansen 0a87607Add docs for IDE protocolDavid Raymond Christiansen a0b9687Don't crash on :addmissing for defns with no clausesDavid Raymond Christiansen 626a37bMerge pull request #2294 from mietek/masterNiklas Larsson 9917c9eAdd more ShowDavid Raymond Christiansen e81efdbFix a few reflection helpersDavid Raymond Christiansen fbdd59bMark instances on elaboration stackEdwin Brady 2c609aeEnvironment fix in prepare_applyEdwin Brady cfb1016Merge pull request #2293 from david-christiansen/total-outputDavid Christiansen d2296e9Remove unused importsMiëtek Bak fe5280cMerge pull request #2291 from FranklinChen/fix-tutorialDavid Christiansen b643b7aIndentation improvementDavid Raymond Christiansen 0696537Fix display of output from :totalDavid Raymond Christiansen dcc3942Disable disambig001 test for jsEdwin Brady 5b73dcbFix the broken 'Exact' versions of lookupsEdwin Brady 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