9a4ee34Re-alphabetize CONTRIBUTORSDavid Raymond Christiansen12 years ago 1f7d1f2Merge branch 'patch-1' of https://github.com/JakobBruenker/Idris-dev into JakobBruenker-patch-1David Raymond Christiansen12 years ago c6771d2Merge pull request #1884 from david-christiansen/color-issueDavid Christiansen12 years ago 0657c46Convert some elaborator comments into HaddockDavid Raymond Christiansen12 years ago ef954e1Fix the new totality testDavid Raymond Christiansen12 years ago 54451e4Test case that was accidentally accepted beforeDavid Raymond Christiansen12 years ago e0dc91eMake some comments into proper HaddockDavid Raymond Christiansen12 years ago df574ecRemember full names when checking impossible patternsDavid Raymond Christiansen12 years ago a54ea34Added more options to cppcheckAhmad Salim Al-Sibahi12 years ago 42fe4f7Added `then` to bash ifAhmad Salim Al-Sibahi12 years ago 95e4222Added static analysis to C RTSAhmad Salim Al-Sibahi12 years ago b13b6daupdate contributors to include myselfJakob Brünker12 years ago 38e3a40Merge pull request #1902 from JakobBruenker/masterDavid Christiansen12 years ago cf25411Added the Zero Constructor to Data.SignJakob Brünker12 years ago 9071856Make isTConName and friends exactDavid Raymond Christiansen12 years ago a87f69eMerge pull request #1885 from david-christiansen/issue/1860David Christiansen12 years ago b0e9e36Merge pull request #1880 from ahmadsalim/feature/underscore-identDavid Christiansen12 years ago 7409ce0Merge pull request #1897 from domsj/typoDavid Christiansen12 years ago 09a4aaaMerge pull request #1870 from soimort/ideslave-module-supportDavid Christiansen12 years ago c155da4Merge pull request #1883 from david-christiansen/type-provider-conversionDavid Christiansen12 years ago cdfaa9fMessage passing fixes in VMEdwin Brady12 years ago de2011ffix typo (AF_INET4 -> AF_INET6)Jan Doms12 years ago cb005bcFix overenthusiastic unificationEdwin Brady12 years ago 5fce446Remove unnecessary constraint on foldlEdwin Brady12 years ago 15590d7Fix function wrapping bug in JavaScript RTSfiendfan112 years ago 914d992Bound the depth of hole searchingDavid Raymond Christiansen12 years ago b8abab8Always show holes when pretty-printing delaborationsDavid Raymond Christiansen12 years ago c7af383Use a proper conversion check for type provider typesDavid Raymond Christiansen12 years ago 4d8ab37Allow identifiers to start with underscore (_). Fixes idris-lang/Idris-dev#1868Ahmad Salim Al-Sibahi12 years ago e13e48dMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 725821bConstraint blaze-markup to fix buildsEdwin Brady12 years ago f03d65cMerge pull request #1874 from puffnfresh/feature/library-path-environment-variableEdwin Brady12 years ago e4cf620Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago d745c2eMerge pull request #1852 from 4e6/repl-module-reloadEdwin Brady12 years ago 9c80995Merge pull request #1855 from jonatack/patch-1Edwin Brady12 years ago 2263ef0Merge pull request #1822 from Heather/sse2Edwin Brady12 years ago 8096500Add %used pragmaEdwin Brady12 years ago 27e4266Add IDRIS_LIBRARY_PATH environment variableBrian McKenna12 years ago 8ecdf60Support module import in IDESlaveMort Yao12 years ago 0011835Make functions work in JS FFIEdwin Brady12 years ago 1950393Use FDesc for foreign targetEdwin Brady12 years ago ef75f3cDisable backend-dependent testEdwin Brady12 years ago 794852aInitial support for JS in new ffiEdwin Brady12 years ago 39e4eb0IO primitives tweak to support JSEdwin Brady12 years ago 2170b9aAdd JS FFI descriptionEdwin Brady12 years ago f6df58cMerge branch 'master' of github.com:idris-lang/Idris-dev into new_ffiEdwin Brady12 years ago 91b7715Merge pull request #1861 from david-christiansen/coercion-fcDavid Christiansen12 years ago 3c187ceBetter tracking of FC in implicit coercions / DSLDavid Raymond Christiansen12 years ago 9150698Primitive type for world stateEdwin Brady12 years ago 43ba516Merge pull request #1857 from david-christiansen/fix-monad-transDavid Christiansen12 years ago