git.iko.soy/Idris-dev
on 2d563b0 help sign in
2d563b0Changed <$ and $> to <* and *>Tenor Biel b5f2e4dChanged test expectations to support new Prelude operatorsTenor Biel 4d16a95Changed desugaring behavior to use <*> instead of <$>Tenor Biel 44bdf1dChanged (<$>) to (<*>)Tenor Biel 41711c7stripLinear needs to check dependent pairsEdwin Brady 5475fe3Merge pull request #1963 from david-christiansen/multi-ghcDavid Christiansen d8142b0Add multiple GHC versions to TravisDavid Raymond Christiansen 92e3985Merge pull request #1962 from david-christiansen/issue/1958David Christiansen 5f2a3b5Simplify comment parserDavid Raymond Christiansen 54f0cc3Merge pull request #1961 from david-christiansen/issue/idris-mode-299David Christiansen 24d0617Merge pull request #1955 from jfdm/citationDavid Christiansen fa5a047Merge pull request #1960 from david-christiansen/issue/1959David Christiansen 8688f43Fix :unlet and the IDE protocolDavid Raymond Christiansen 15a76ffTrace loaded file spans for empty modulesDavid Raymond Christiansen 3b57c91Added a citation file.Jan de Muijnck-Hughes b32de5cMerge pull request #1947 from melted/this_branch_is_sponsored_by_the_society_for_elimination_of_fancy_typographyDavid Christiansen 4f88433Merge pull request #1946 from Heather/encodingDavid Christiansen f70afabReplace a fancy apostrophe with a basic ASCII oneNiklas Larsson 6ae2e26disable windows specific UTF8 encodingHeather 5aa03e7Merge pull request #1919 from ahmadsalim/bug/eliminatorgenerationDavid Christiansen 80d4472Merge pull request #1934 from Heather/ffDavid Christiansen 5b465a9Merge pull request #1937 from melted/encodingDavid Christiansen ebab239Merge pull request #1939 from melted/fix_rtsDavid Christiansen 5300c53Fix :exec on WindowsNiklas Larsson 9fb9674Fix Windows RTSNiklas Larsson 6f9ba3eAdded explicit error messages when eliminator/case function generation failsAhmad Salim Al-Sibahi 1b4b01cSet encoding to UTF8 on WindowsNiklas Larsson bbf672aFix evaluator problemEdwin Brady 7c9a1d0Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 8697358Fix scope error when shadowingEdwin Brady f0d90e6Merge pull request #1933 from david-christiansen/wip/tacticalDavid Christiansen f327f18Raw quasiquote patternsDavid Raymond Christiansen b21a0b4update sqlite3 bindings to new Idris syntaxHeather 149c104Desugar do blocks inside of %runTacticsDavid Raymond Christiansen 2a1de7aExpand ! binds in tacticsDavid Raymond Christiansen 933fcbbAdd missing cases to warnDisambDavid Raymond Christiansen 6d6c81bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 53cf150Check quasiquotation flag in elaborator on lhsEdwin Brady 30fe374Merge pull request #1932 from david-christiansen/wip/tacticalDavid Christiansen 2758aaeMerge branch 'wip/tactical' of https://github.com/david-christiansen/Idris-dev into david-christiansen-wip/tacticalEdwin Brady 2654aedMerge pull request #1929 from Heather/rtsEdwin Brady 1b7d16dMerge pull request #1892 from fiendfan1/fix/js-higher-orderEdwin Brady b048140Overloaded quasiquotationsDavid Raymond Christiansen 9249aaeIBC generation pattern match completenessDavid Raymond Christiansen e6235efErasure should ignore Type*/UniqueTypeEdwin Brady c021042Quasiquotes for Raw termsDavid Raymond Christiansen 182da18Fix names and accessibilityDavid Raymond Christiansen 13e8ad8Plumb source locations through Tactical's elabDavid Raymond Christiansen 4d1759ePair syntax for unique typesEdwin Brady 2f96f33Split between primitive tactics and UIDavid Raymond Christiansen