git.iko.soy/Idris-dev
on 1ca661a help sign in
1ca661aReenable parallel testingNiklas Larsson 6f26996Merge pull request #2902 from melted/condense_outputNiklas Larsson 704a60dMerge pull request #2901 from melted/fix_testsNiklas Larsson 5d9112dUse only one line of output per testNiklas Larsson 920282fKeep track of test stats and print the failed tests at the endNiklas Larsson b0e8b12make the tests respect the IDRIS env variableNiklas Larsson 9a04ed3Merge pull request #2900 from melted/fix_pkg004Niklas Larsson 18d0204Remove escapes from expected output in pkg004Niklas Larsson 374b18eFix class->interface in HTML docsEdwin Brady 6d9ef7bCHANGELOG version editv0.10Edwin Brady de57888Merge pull request #2895 from ziman/publish-bitsEdwin Brady 23c2788Merge pull request #2892 from thisfred/tutorial-record-typoEdwin Brady 3499e11Merge pull request #2891 from shlevy/optparse-applicative-0-13Edwin Brady 9be4419Merge branch 'aaronc-ioexcept-ffi'Edwin Brady 9b2ca04Merge branch 'ioexcept-ffi' of https://github.com/aaronc/Idris-dev into aaronc-ioexcept-ffiEdwin Brady 9e8930dMerge pull request #2857 from LeifW/watch_files_for_changesEdwin Brady 9fa5aa1Merge pull request #2888 from enolan/gmp-flagEdwin Brady 2f5dd79Merge pull request #2885 from DreamLinuxer/patch-1Edwin Brady a356ee8Merge pull request #2897 from ForNeVeR/patch-1Edwin Brady 62094ddAdd brief tutorial sectionEdwin Brady 9f7f858More minor tutorial edits and correctionsEdwin Brady 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 547273dAdd an example of binding without type annotationFriedrich von Never 220f400Fix error messages for interfacesEdwin Brady dbfc357Remove partial functions from StreamEdwin Brady 6eaf933Disambiguation tweakEdwin Brady 75e34a7Some trivial renamingsEdwin Brady e6946d3Publish functions needed to compute Bits indices.Matus Tejiscak 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 0c54260Fix typo in nested record update.eric casteleijn a95ef11Bump upper bound for optparse-applicative to 0.13Shea Levy e97f02aFix instance->implementation in displayEdwin Brady e81d6acMake "implementation" keyword optionalEdwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady 4eff833Changed IOExcept to IOExcept' (with an FFI param) to work with the new FFI.Aaron Craelius a238f45Bring usesGMP in sync with idris.cabalEcho Nolan 17cb074Refactor - use else if in config.mkEcho Nolan cb31765Add __DragonFly__ to the list of Unices.Markus Pfeiffer 573fa25Fix module name for Effect.DefaultJan de Muijnck-Hughes 2cfbee4The old code doesn't workChao-Hong Chen 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