git.iko.soy/Idris-dev
on 21f0db3 help sign in
21f0db3Add [static] + fix erasure warnings in Data.Bits.Matus Tejiscak 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 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