git.iko.soy/Idris-dev
on master help sign in
history of7cbf0cb..master
compare
8e8fd65Merge pull request #2674 from jfdm/fix-ipkg-parsing-mistakeJan de Muijnck-Hughes ae7bdd1Added missing expected fileJan de Muijnck-Hughes 824d0e3Fixed mistake and added testJan de Muijnck-Hughes 44c5d61Fixed parsing error in ipkg filesJan de Muijnck-Hughes b8a8c79Merge pull request #2668 from jfdm/ipkg-file-improvementsNiklas Larsson 39ecf99Fixed parsing of dependent pair expressions when Type appears as a typeAhmad Salim Al-Sibahi a497ca7Removed sectioning and malformed code comments.Jan de Muijnck-Hughes 7bf0ea3Pretty-printer for new nested dependent pair syntaxDavid Raymond Christiansen f3ce68eMerge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsingDavid Raymond Christiansen 0d78f19Improvements to ipkg files for dependancies.Jan de Muijnck-Hughes 2f7d8c2Merge pull request #2665 from david-christiansen/pruvilojDavid Christiansen b97d4b6Add pronunciation guide for "pruviloj"David Raymond Christiansen b9a7e94Merge pull request #2649 from david-christiansen/pruvilojDavid Christiansen a6c5150Add README for PruvilojDavid Raymond Christiansen 02abb9aLibrary of tactics for proof automation with ElabDavid Raymond Christiansen 928aed4Merge pull request #2661 from melted/browser_getlineNiklas Larsson bad3dd6Merge pull request #2660 from melted/htmlNiklas Larsson 558ddd9Add a getLine primitive to browser jsNiklas Larsson 29dc2dfEmit an html file with embedded js if given that extensionNiklas Larsson eefe70aMerge pull request #2648 from Melvar/add-cycleDavid Christiansen c1396aaMerge pull request #2655 from benjamin-hodgson/patch-1David Christiansen 7d12978"Can't find name" message was missing a spaceBenjamin Hodgson 8e7216eMerge pull request #2598 from david-christiansen/wip/tacticalDavid Christiansen 8a1bc7dUpdate tactics documentation based on deprecationDavid Raymond Christiansen ce403f6Merge remote-tracking branch 'upstream/master' into wip/tacticalDavid Raymond Christiansen f4c91c6In interactive elaborator, show all premisesDavid Raymond Christiansen 0497655Properly compute default lambda var namesDavid Raymond Christiansen 653cdefReinstate Prelude.Stream.cycle using NonEmptyMelvar Chen d03c71cMerge pull request #2600 from david-christiansen/no-more-fin-plusDavid Christiansen c36a155Remove ugly FIXMEs from Effects.idrEdwin Brady ccf6c40Increment patch versionv0.9.19.1Edwin Brady f1ffd5cAdd new test for matrix transpositionEdwin Brady 93dafdeMake sure deferred names are uniqueEdwin Brady b678d7cChanged scoping rules for unbound implicits.Edwin Brady ee76b88Merge pull request #2641 from melted/clang_winNiklas Larsson a706247Fix build with clang on WindowsNiklas Larsson fe92473Merge pull request #2632 from ExNexu/patch-1Niklas Larsson 894f664Allowed multiple bindings in dependent pairsAhmad Salim Al-Sibahi 50878faMerge pull request #2638 from NightRa/patch-2Niklas Larsson 56afb44Fix Char-Ascii docsIlan Godik 30f55ceMerge remote-tracking branch 'upstream/master' into wip/tacticalDavid Raymond Christiansen 1d40dbdMake it possible to disable tactic deprecationDavid Raymond Christiansen aba225cMerge pull request #2635 from david-christiansen/coverage-defaultDavid Christiansen f1ff8fbMerge pull request #2634 from david-christiansen/namesInQQDavid Christiansen aeb703eUse elaborated form of cases to check for defaultsDavid Raymond Christiansen 92c1959Respect quotation when expanding parametersDavid Raymond Christiansen 6d7d3bdMerge pull request #2630 from david-christiansen/namesInQQDavid Christiansen d3389d1Add --package contrib to tutorialStefan Bleibinhaus 071d34bMake name operations on PTerm quotation-awareDavid Raymond Christiansen 9243fdfMerge pull request #2629 from melted/fix_completionNiklas Larsson