d8de21fAdd export listsNiklas Larsson11 years ago 3fc393aAdd an export list to Idris.REPLNiklas Larsson11 years ago c864837Merge pull request #2432 from bkoropoff/fix-case-tac-reflectionDavid Christiansen11 years ago 3d222a1Merge pull request #2431 from melted/rm_zlibNiklas Larsson11 years ago 9a3735dRemove dependency to zlibNiklas Larsson11 years ago 6e5e40cAdd dropElem to Data.ListEdwin Brady11 years ago cf9f36bFix copy-paste bug when reifying reflected tacticsBrian Koropoff11 years ago 7831e10Check messages are passed to active VMsEdwin Brady11 years ago 386ac94More disambiguation improvementsEdwin Brady11 years ago f56f05eFix import public errorEdwin Brady11 years ago 268459cFailing 'focus' should be harmlessEdwin Brady11 years ago 49af6f9Injectivity of type classes on LHSEdwin Brady11 years ago 12bd67bFixing parameters in function typesEdwin Brady11 years ago 9404d51Be more cautious about partial evaluationEdwin Brady11 years ago 768437cMerge pull request #2430 from david-christiansen/parser-highlightsDavid Christiansen11 years ago fb600d4Highlight name in dependent pair type as binderDavid Raymond Christiansen11 years ago c2bf84fMerge pull request #2429 from david-christiansen/parser-highlightsDavid Christiansen11 years ago 09f56a7Add compiler highlighting for quoted names in sourceDavid Raymond Christiansen11 years ago b709748Merge pull request #2428 from david-christiansen/parser-highlightsDavid Christiansen11 years ago 9a7f7d9Make 'case' more flexible with dependent typesEdwin Brady11 years ago ec0b043Parser-driven highlighting of quasiquoted regionsDavid Raymond Christiansen11 years ago 2a4e82bParser-driven highlighting of quotation symbolsDavid Raymond Christiansen11 years ago 520f367Initial parser-driven highlightingDavid Raymond Christiansen11 years ago 203945bMerge pull request #2426 from david-christiansen/issue/2425David Christiansen11 years ago 012b898Fix quasiquotes of Raw bindingsDavid Raymond Christiansen11 years ago 8173932Improve disambiguation a bit moreEdwin Brady11 years ago 86dc822Fix totality problem with scoped implicitsEdwin Brady11 years ago 06df4ecMerge pull request #2402 from david-christiansen/entering-dir-messageDavid Christiansen11 years ago fb3d1a8Bracket new directory operations in messagesDavid Raymond Christiansen11 years ago fd80612fromInteger tweakEdwin Brady11 years ago 62bb361Merge pull request #2408 from mjgpy3/metavariable_to_hole_docsDavid Christiansen11 years ago 336b4f6Merge pull request #2421 from LeifW/bump_dep_boundsDavid Christiansen11 years ago b2673deMerge pull request #2422 from LeifW/cleanup_travis_depsDavid Christiansen11 years ago 976563bRemove travis deps unused since llvm & java backend removals.Leif Warner11 years ago 34d0e95Merge pull request #2420 from melted/ibc_cleanNiklas Larsson11 years ago def8a1dBump some upper bounds on deps to build w/ stackage-nightlyLeif Warner11 years ago 1f121beRemove unused entry "symbols" from IBCNiklas Larsson11 years ago 504291bMerge pull request #2417 from jfdm/icons-and-mimesNiklas Larsson11 years ago ff5b230Fixes to Logging effectJan de Muijnck-Hughes11 years ago 9562ae8Fixed namespace issue with Default Logging EffectJan de Muijnck-Hughes11 years ago 59f7f98Effectful Logging.Jan de Muijnck-Hughes11 years ago 1aa9f0bMerge pull request #2394 from jfdm/doc/updatesJan de Muijnck-Hughes11 years ago f3fc32fIcons and mimetype declarationsJan de Muijnck-Hughes11 years ago 64365dbMerge pull request #2410 from jfdm/typeintype-help-docNiklas Larsson11 years ago d8b009bMerge pull request #2414 from Heather/wincNiklas Larsson11 years ago 45420abfix building for windows/idris_stdfgn.cHeather11 years ago 83b839fBring effects summary up to dateEdwin Brady11 years ago 2ac0079Bring effects tutorial up to dateEdwin Brady11 years ago edb2809Documentation Fixes for CLIJan de Muijnck-Hughes11 years ago 6e7f896Careful when to show namespaces in :docEdwin Brady11 years ago