git.iko.soy/Idris-dev
on 1e488af help sign in
1e488afAdd new-style tactics for getting source locationsDavid Raymond Christiansen 3d79f1bMake Quotable polymorphic on quotation typeDavid Raymond Christiansen 20e6028Merge branch 'master' into wip/tacticalDavid Raymond Christiansen 8ab9f72Merge pull request #1971 from david-christiansen/chetant-dsl_varnamesDavid Christiansen c0d58b3Add CHANGELOG note on DSL block updatesDavid Raymond Christiansen 3c05bcdMerge branch 'dsl_varnames' of https://github.com/chetant/Idris-dev into chetant-dsl_varnamesDavid Raymond Christiansen 5e1ef78Merge pull request #1970 from david-christiansen/operator-renamesDavid Christiansen 6f25fbeUpdate reg050 for <$> as fmap aliasDavid Raymond Christiansen a2c7b15Document the Great Operator Rename in the CHANGELOGDavid Raymond Christiansen ff7214eAdd <$> as an alias for mapDavid Raymond Christiansen 48d6a6bUpdate for renamed operatorsDavid Raymond Christiansen 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 3b5790cNamed lambda,let,pi in dsl blockChetan Taralekar 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 cbbdb3eRemove dead codeDavid Raymond Christiansen 5300c53Fix :exec on WindowsNiklas Larsson 9fb9674Fix Windows RTSNiklas Larsson ee8fce0Add "intro" tactic to new tacticsDavid Raymond Christiansen 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