4a21c1dMerge pull request #3304 from steshaw/spelling-tweak-in-test-dataNiklas Larsson10 years ago df40a0aAdd test files to `idris.cabal` extra-source-files.Steven Shaw10 years ago 1479cb6A test for lines/unlines.Steven Shaw10 years ago 0a11829Spelling only - instanciate => instantiateSteven Shaw10 years ago 2d99594Merge pull request #3301 from jfdm/update-macosx-stack-install-suggestionsNiklas Larsson10 years ago 41c19e9since count function deprecated in Prelude, update doc use enumFromTo and enumFromThenTo function in Prelude for claifyingzjhmale10 years ago 645da8aMerge pull request #3300 from melted/travis_osxNiklas Larsson10 years ago e40466dUpdate INSTALL with better path for libFFIJan de Muijnck-Hughes10 years ago baf54acMerge pull request #3299 from jfdm/pkgdesc-improvementsJan de Muijnck-Hughes10 years ago 284b2caRemove some superfluous semicolonsNiklas Larsson10 years ago c1be722Enable travis on osxNiklas Larsson10 years ago 7af834eNote external iPKG dependencies in package description.Jan de Muijnck-Hughes10 years ago 034169bMerge pull request #3298 from melted/mac_testsNiklas Larsson10 years ago 9e4ad67Fix test fail on macNiklas Larsson10 years ago 3417405Merge pull request #3296 from melted/appveyorNiklas Larsson10 years ago 91109aaAdd appveyor.ymlNiklas Larsson10 years ago e5a56a1Merge pull request #3288 from zjhmale/fix-typesfuns-docJan de Muijnck-Hughes10 years ago 0e5a476use `Double` instead of `Float` in docszjhmale10 years ago aa2d977Merge pull request #3293 from melted/fix_testingNiklas Larsson10 years ago c2c4165Fix testsuite regression on Windows.Niklas Larsson10 years ago 6dffa49Merge pull request #3289 from jfdm/lts-haskell-6.9Jan de Muijnck-Hughes10 years ago 02d29f5Fix conversion of case blocksEdwin Brady10 years ago 9dcbdc9Merge pull request #3231 from gpyh/tastyJan de Muijnck-Hughes10 years ago 0c8a486Bumped Idris to LTS 6.9.Jan de Muijnck-Hughes10 years ago 8394c90Merge pull request #3290 from jfdm/fix-network-deprecationsJan de Muijnck-Hughes10 years ago ab1296fFix Deprecation warnings from Network API.Jan de Muijnck-Hughes10 years ago 3a3976bBetter pretty printing of case blocksEdwin Brady10 years ago 48ae753Document the new test infrastructuregpyh10 years ago 5186d6cHook the new test infrastructure to cabalgpyh10 years ago 54b94b9Port the test infrastructure to Tastygpyh10 years ago 4e69658Organized .gitignore a bitgpyh10 years ago