git.iko.soy/Idris-dev
on master help sign in
history of59c3cd1..master
compare
6b3307aReplace `default tactics search` with the newer `auto`.Leif Warner 5f33e4aMerge pull request #2319 from david-christiansen/issue/2317David Christiansen df64dfcKludge for kludge for Trifecta errorsDavid Raymond Christiansen 9b94995Add proof search to ElabDavid Raymond Christiansen aafc494Add totality checking note to FAQEdwin Brady 61870cbChange wording in unification errorsEdwin Brady f75980aUpdate version numberEdwin Brady 7259892Merge pull request #2308 from raichoo/masterraichoo 3dff1b5Merge pull request #2305 from Melvar/showprecDavid Christiansen 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 1fec4faAdd showPrec to ShowMelvar Chen 0689f2bLet Elab scripts run the type checkerDavid Raymond Christiansen 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 e1311a2remove stray tab character from idris.cabalraichoo a4b8b0fturn on optimizations (-O2) in cabalraichoo 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