git.iko.soy/Idris-dev
on 2fe19b7 help sign in
2fe19b7Minor edits to description in idris.cabalEdwin Brady 953e022Version increment to 0.10Edwin Brady 35958e3class->interface change in rest of tutorialEdwin Brady 23a2bfbUpdate tutorial for class->interfaceEdwin Brady 220f400Fix error messages for interfacesEdwin Brady dbfc357Remove partial functions from StreamEdwin Brady 6eaf933Disambiguation tweakEdwin Brady 75e34a7Some trivial renamingsEdwin Brady 0c5f1deMove / into Fractional interfaceEdwin Brady 07f6ff1Merge pull request #2887 from markuspf/add-dragonfly-fixJan de Muijnck-Hughes cc95593Merge pull request #2886 from jfdm/fix-effect-defaultJan de Muijnck-Hughes e97f02aFix instance->implementation in displayEdwin Brady e81d6acMake "implementation" keyword optionalEdwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady cb31765Add __DragonFly__ to the list of Unices.Markus Pfeiffer 573fa25Fix module name for Effect.DefaultJan de Muijnck-Hughes 79ff02fMerge pull request #2883 from paulkoerbitz/2819-fix-benchmarksJan de Muijnck-Hughes 665c467Run benchmarks in travisPaul Koerbitz 86782e6Fix quasigroups compile time issuesPaul Koerbitz bccb453Fix pidigits benchmarkPaul Koerbitz ec4eab3Fix sortvec benchmark compile time issuesPaul Koerbitz 7de7820Fix fasta benchmark compile time issuesPaul Koerbitz f6f97ebMerge pull request #2862 from xieyuheng/masterNiklas Larsson 5b13b4eMerge pull request #2870 from imuli/data-string-fixNiklas Larsson bf7d26cMerge pull request #2878 from Heather/QANiklas Larsson 8bb4521Merge pull request #2880 from goofballLogic/patch-1Niklas Larsson 9855481Update System.idrAndrew Stewart Gibson 1b3bffaProver.hs: foldl (++) [] . map -> concatMapHeather 504f706Merge pull request #2877 from melted/fix-freestandingNiklas Larsson e381fbdFix freestanding buildNiklas Larsson 07a80b2Make Data.String functions available.Imuli 6b74ec6Merge pull request #2868 from jfdm/logging-docsJan de Muijnck-Hughes d3d679eMerge pull request #2869 from jfdm/list-categoriesJan de Muijnck-Hughes 6dc452eupdate the PR about 'desugars' -> 'displays ... as ...' in the tutorial, according to christiansen's advises.XIE Yuheng fd9003bAdded flag to display available logging categories.Jan de Muijnck-Hughes ec3a454Fixes #2865 by adding documentation for category-based logging.Jan de Muijnck-Hughes b3db250Merge pull request #2867 from jfdm/saner-stack-defaultsJan de Muijnck-Hughes a8e9ec5Merge pull request #2856 from jfdm/log-by-categoryJan de Muijnck-Hughes 69846d9Saner defaults for stack and revised installation instructions.Jan de Muijnck-Hughes 5f3e700Added new logging category for IBC operations.Jan de Muijnck-Hughes 9255de5Logging Categories: Fixed typo, and updated changelog.Jan de Muijnck-Hughes 39a8c78Categorised the Logs.Jan de Muijnck-Hughes 5dc9d1aUpdated logging categories.Jan de Muijnck-Hughes 9c99198Merge pull request #2853 from jfdm/time-testsJan de Muijnck-Hughes a86558aMerge pull request #2861 from ozgurakgun/masterDavid Christiansen 7625799Increment patch version numberEdwin Brady 927332ffix typo in tutorial : 'desugars' -> 'displays ... as ...'XIE Yuheng 33930f1Collection of times during tests optional.Jan de Muijnck-Hughes 5ffdb61Updated timing tests to print using printf.Jan de Muijnck-Hughes 04d7f57Added calculation fof entire test suite run.Jan de Muijnck-Hughes