git.iko.soy/Idris-dev
on v0.9.18.1 help sign in
c58ed3aUpdate version numberv0.9.18.1Edwin Brady 22c8cdaMerge pull request #2315 from david-christiansen/text-binaryDavid Christiansen 11266fbUse Text's own Binary instanceDavid Raymond Christiansen 423e21eMerge pull request #2313 from raichoo/ioraichoo 0a49f66whitespaceraichoo cc31da5javascript: fix node warning for printingraichoo 133b0aeMerge pull request #2312 from melted/broken_testNiklas Larsson 7f51692Don't include the executable in the output.Niklas Larsson 1843d02Merge pull request #2310 from christopherschwaab/masterNiklas Larsson e426fa2Merge pull request #2311 from BartAdv/docfixesJan de Muijnck-Hughes fc3d02bAdd missing code snippet to provisional.rstBartosz 2b0224aAdd AR and RANLIB envs for exherbo multiarch.Christopher Schwaab 548b533Remove -msse2 flag which breaks the build on non-x86 machines (consider -march=native?).Christopher Schwaab 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