git.iko.soy/Idris-dev
on master help sign in
history ofe88a135..master
compare
4a21c1dMerge pull request #3304 from steshaw/spelling-tweak-in-test-dataNiklas Larsson df40a0aAdd test files to `idris.cabal` extra-source-files.Steven Shaw 1479cb6A test for lines/unlines.Steven Shaw 0a11829Spelling only - instanciate => instantiateSteven Shaw 2d99594Merge pull request #3301 from jfdm/update-macosx-stack-install-suggestionsNiklas Larsson 41c19e9since count function deprecated in Prelude, update doc use enumFromTo and enumFromThenTo function in Prelude for claifyingzjhmale 645da8aMerge pull request #3300 from melted/travis_osxNiklas Larsson e40466dUpdate INSTALL with better path for libFFIJan de Muijnck-Hughes baf54acMerge pull request #3299 from jfdm/pkgdesc-improvementsJan de Muijnck-Hughes 284b2caRemove some superfluous semicolonsNiklas Larsson c1be722Enable travis on osxNiklas Larsson 7af834eNote external iPKG dependencies in package description.Jan de Muijnck-Hughes 034169bMerge pull request #3298 from melted/mac_testsNiklas Larsson 9e4ad67Fix test fail on macNiklas Larsson 3417405Merge pull request #3296 from melted/appveyorNiklas Larsson 91109aaAdd appveyor.ymlNiklas Larsson e5a56a1Merge pull request #3288 from zjhmale/fix-typesfuns-docJan de Muijnck-Hughes 0e5a476use `Double` instead of `Float` in docszjhmale aa2d977Merge pull request #3293 from melted/fix_testingNiklas Larsson c2c4165Fix testsuite regression on Windows.Niklas Larsson 6dffa49Merge pull request #3289 from jfdm/lts-haskell-6.9Jan de Muijnck-Hughes 02d29f5Fix conversion of case blocksEdwin Brady 9dcbdc9Merge pull request #3231 from gpyh/tastyJan de Muijnck-Hughes 0c8a486Bumped Idris to LTS 6.9.Jan de Muijnck-Hughes 8394c90Merge pull request #3290 from jfdm/fix-network-deprecationsJan de Muijnck-Hughes ab1296fFix Deprecation warnings from Network API.Jan de Muijnck-Hughes 3a3976bBetter pretty printing of case blocksEdwin Brady 48ae753Document the new test infrastructuregpyh 5186d6cHook the new test infrastructure to cabalgpyh 54b94b9Port the test infrastructure to Tastygpyh 4e69658Organized .gitignore a bitgpyh f82e7f6Add folds in Travis CI's loggpyh ff7ea9dAdd missing test families in test/README.mdgpyh 181dddbAdd missing test files in idris.cabalgpyh 6db256aFix formatting of some testsgpyh c0e0d8fMerge pull request #3283 from steshaw/ipkg-parser-fixJan de Muijnck-Hughes 5708455Update versionv0.12.1Edwin Brady abe2cd3Tidy case blocks in hole typesEdwin Brady 1db4b80Merge pull request #3284 from melted/js_exportNiklas Larsson e861141Add export functionality to Javascript backendNiklas Larsson 8885f72Comments in Prelude.TraversableEdwin Brady 8c9eef3Do not append "libs" to "objs" when parsing "objs".Steven Shaw 0b9a9f8Fix determining arguments of Reader/Writer/RWSEdwin Brady d368fd4Merge pull request #3263 from melted/gitignoreDavid Christiansen 95c9297Merge pull request #3271 from HectorAE/patch-1Jan de Muijnck-Hughes 73b5ecfFix comment typosHector A. Escobedo IV b37460dMerge pull request #3270 from enolan/contributorsJan de Muijnck-Hughes 65ec8f2Alphabetize CONTRIBUTORSEcho Nolan 755b36aAdd Echo Nolan to CONTRIBUTORSEcho Nolan 0af1c75Merge pull request #3267 from jfdm/show-auto-implicit-docsJan de Muijnck-Hughes