git.iko.soy/Idris-dev
on bd26521 help sign in
bd26521Fix reflection of NativeTy valuesMelvar Chen e81cb80Merge pull request #2914 from DmitryTsygankov/stack_nixosNiklas Larsson e181731Merge pull request #2913 from melted/setup_tweakNiklas Larsson 60e11f7Bump up the stack resolver versionDmitry Tsygankov d0da898Use cabal function for dirNiklas Larsson b3b7bb7Merge pull request #2912 from melted/link_iconNiklas Larsson 567c01cAdd instructions to deploy with stack on NixOS. Remove the resolver version from the documentationDmitry Tsygankov 796f3dcStack: Add the Nix package dependenciesDmitry Tsygankov f9e19d7Bump up the stack resolver versionDmitry Tsygankov f1c6f25Add the idris icon to the windows buildNiklas Larsson 8bffef4Merge pull request #2908 from melted/make_fixNiklas Larsson 028868eSet target explicitly for test_cNiklas Larsson 4e5474aMerge pull request #2904 from melted/par_onNiklas Larsson 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