git.iko.soy/Idris-dev
on cb005bc help sign in
cb005bcFix overenthusiastic unificationEdwin Brady 5fce446Remove unnecessary constraint on foldlEdwin Brady e13e48dMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 725821bConstraint blaze-markup to fix buildsEdwin Brady f03d65cMerge pull request #1874 from puffnfresh/feature/library-path-environment-variableEdwin Brady e4cf620Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady d745c2eMerge pull request #1852 from 4e6/repl-module-reloadEdwin Brady 9c80995Merge pull request #1855 from jonatack/patch-1Edwin Brady 2263ef0Merge pull request #1822 from Heather/sse2Edwin Brady 8096500Add %used pragmaEdwin Brady 27e4266Add IDRIS_LIBRARY_PATH environment variableBrian McKenna 0011835Make functions work in JS FFIEdwin Brady 1950393Use FDesc for foreign targetEdwin Brady ef75f3cDisable backend-dependent testEdwin Brady 794852aInitial support for JS in new ffiEdwin Brady 39e4eb0IO primitives tweak to support JSEdwin Brady 2170b9aAdd JS FFI descriptionEdwin Brady f6df58cMerge branch 'master' of github.com:idris-lang/Idris-dev into new_ffiEdwin Brady 91b7715Merge pull request #1861 from david-christiansen/coercion-fcDavid Christiansen 3c187ceBetter tracking of FC in implicit coercions / DSLDavid Raymond Christiansen 9150698Primitive type for world stateEdwin Brady 43ba516Merge pull request #1857 from david-christiansen/fix-monad-transDavid Christiansen d5377beNew language-dependent FFIEdwin Brady 60e4921Relax lower bound on mtlEric Mertens d3db066Merge pull request #1854 from elliottt/client-connect-messageDavid Christiansen aef8dc1Improve the README: Contributing link, spelling, wrap linesJon Atack 6faa820Do more reduction in proof searchEdwin Brady 736131fHandle connection error with --clientTrevor Elliott 72aa6b9Proper error when merging solutions failsEdwin Brady 39c07a7Proper REPL module reloadingDmitry Bushev b068758Merge pull request #1851 from david-christiansen/ide-names-fixv0.9.16David Christiansen 058b23dFix recognition of infix names in IDE modeDavid Raymond Christiansen 1784f06Merge pull request #1850 from patrikja/masterDavid Christiansen df1544eCleaned up an old name change for consistencyPatrik Jansson 2fd3ebcderive Data and Typeable for ImplicitInfoEdwin Brady 02d26ecMerge pull request #1841 from david-christiansen/issue/1806David Christiansen 267b79cMerge pull request #1846 from david-christiansen/issue/1845David Christiansen 21ccbe8Parse 'with' arguments in pattern modeEdwin Brady f2da9b4Fix CHANGELOGEdwin Brady 10d5903Add emulation of getchar to executorDavid Raymond Christiansen e41c0f9Merge pull request #1844 from david-christiansen/issue/1843David Christiansen cd30b8eCreate a proper name supply for identity typeDavid Raymond Christiansen bf2f3ccAdd a default case to uniqueNameFromDavid Raymond Christiansen 35e604aAdd missing module to base.ipkgDavid Raymond Christiansen 9ec3ec7Merge branch 'scoped_implicits'Edwin Brady c729d2fSupport scoped type class constraintsEdwin Brady f6bcfb6Some tidying of scoped implicitsEdwin Brady e0cab49Allow implicits to appear anywhereEdwin Brady 48fd842Better test for @-_-desugaringDavid Raymond Christiansen 8a03679Only rewrite _ under @!David Raymond Christiansen