d5377beNew language-dependent FFIEdwin Brady12 years ago 60e4921Relax lower bound on mtlEric Mertens12 years ago d3db066Merge pull request #1854 from elliottt/client-connect-messageDavid Christiansen12 years ago aef8dc1Improve the README: Contributing link, spelling, wrap linesJon Atack12 years ago 6faa820Do more reduction in proof searchEdwin Brady12 years ago 736131fHandle connection error with --clientTrevor Elliott12 years ago 72aa6b9Proper error when merging solutions failsEdwin Brady12 years ago 39c07a7Proper REPL module reloadingDmitry Bushev12 years ago b068758Merge pull request #1851 from david-christiansen/ide-names-fixv0.9.16David Christiansen12 years ago 058b23dFix recognition of infix names in IDE modeDavid Raymond Christiansen12 years ago 1784f06Merge pull request #1850 from patrikja/masterDavid Christiansen12 years ago df1544eCleaned up an old name change for consistencyPatrik Jansson12 years ago 2fd3ebcderive Data and Typeable for ImplicitInfoEdwin Brady12 years ago 02d26ecMerge pull request #1841 from david-christiansen/issue/1806David Christiansen12 years ago 267b79cMerge pull request #1846 from david-christiansen/issue/1845David Christiansen12 years ago 21ccbe8Parse 'with' arguments in pattern modeEdwin Brady12 years ago f2da9b4Fix CHANGELOGEdwin Brady12 years ago 10d5903Add emulation of getchar to executorDavid Raymond Christiansen12 years ago e41c0f9Merge pull request #1844 from david-christiansen/issue/1843David Christiansen12 years ago cd30b8eCreate a proper name supply for identity typeDavid Raymond Christiansen12 years ago bf2f3ccAdd a default case to uniqueNameFromDavid Raymond Christiansen12 years ago 35e604aAdd missing module to base.ipkgDavid Raymond Christiansen12 years ago 9ec3ec7Merge branch 'scoped_implicits'Edwin Brady12 years ago c729d2fSupport scoped type class constraintsEdwin Brady12 years ago f6bcfb6Some tidying of scoped implicitsEdwin Brady12 years ago e0cab49Allow implicits to appear anywhereEdwin Brady12 years ago 48fd842Better test for @-_-desugaringDavid Raymond Christiansen12 years ago 8a03679Only rewrite _ under @!David Raymond Christiansen12 years ago 2e55414Merge pull request #1838 from L8D/masterDavid Christiansen12 years ago 41862e4Merge pull request #1840 from david-christiansen/feature/moduledocsDavid Christiansen12 years ago 0b23ef2Replace _ patterns with fresh variables under @-patternsDavid Raymond Christiansen12 years ago 480ecd8Add generated library docs to .gitignoreDavid Raymond Christiansen12 years ago 81d9b25Generate HTML output for module documentationDavid Raymond Christiansen12 years ago ac2a6f2Merge branch 'master' of github.com:idris-lang/idris-devTenor Biel12 years ago 17fe233Add scoped implicit argument to PiEdwin Brady12 years ago 68e96f0Remove stray Effects fileEdwin Brady12 years ago 764d6a7Ignore FnCase in ErasureEdwin Brady12 years ago 9680cbcAdd type class and instances for monad transformersTenor Biel12 years ago 48715b7Compute before proof searchEdwin Brady12 years ago 9aea863Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 580f842Merge pull request #1834 from jfdm/fixes/helpDavid Christiansen12 years ago 1c93363Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 8f06157Update version numberEdwin Brady12 years ago e0861bbAdded missing documentation for the CLI.Jan de Muijnck-Hughes12 years ago b0257ecMerge pull request #1831 from NobbZ/feature/werror-ciDavid Christiansen12 years ago 01ccf1fMerge pull request #1830 from david-christiansen/feature/moduledocsDavid Christiansen12 years ago ec2a48aMerge pull request #1829 from david-christiansen/no-werrorDavid Christiansen12 years ago 09038deLittle text about CI flagNorbert Melzer12 years ago 9892636enable CI builds in travis-scriptNorbert Melzer12 years ago 5c17e42Set CI to anything when running make, then the cabal flag CI will be setNorbert Melzer12 years ago