git.iko.soy/Idris-dev
on e0dc91e help sign in
e0dc91eMake some comments into proper HaddockDavid Raymond Christiansen df574ecRemember full names when checking impossible patternsDavid Raymond Christiansen 9071856Make isTConName and friends exactDavid Raymond Christiansen a87f69eMerge pull request #1885 from david-christiansen/issue/1860David Christiansen b0e9e36Merge pull request #1880 from ahmadsalim/feature/underscore-identDavid Christiansen 7409ce0Merge pull request #1897 from domsj/typoDavid Christiansen 09a4aaaMerge pull request #1870 from soimort/ideslave-module-supportDavid Christiansen c155da4Merge pull request #1883 from david-christiansen/type-provider-conversionDavid Christiansen cdfaa9fMessage passing fixes in VMEdwin Brady de2011ffix typo (AF_INET4 -> AF_INET6)Jan Doms cb005bcFix overenthusiastic unificationEdwin Brady 5fce446Remove unnecessary constraint on foldlEdwin Brady 914d992Bound the depth of hole searchingDavid Raymond Christiansen b8abab8Always show holes when pretty-printing delaborationsDavid Raymond Christiansen c7af383Use a proper conversion check for type provider typesDavid Raymond Christiansen 4d8ab37Allow identifiers to start with underscore (_). Fixes idris-lang/Idris-dev#1868Ahmad Salim Al-Sibahi 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 8ecdf60Support module import in IDESlaveMort Yao 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