git.iko.soy/Idris-dev
on 12bd67b help sign in
12bd67bFixing parameters in function typesEdwin Brady 9404d51Be more cautious about partial evaluationEdwin Brady 768437cMerge pull request #2430 from david-christiansen/parser-highlightsDavid Christiansen fb600d4Highlight name in dependent pair type as binderDavid Raymond Christiansen c2bf84fMerge pull request #2429 from david-christiansen/parser-highlightsDavid Christiansen 09f56a7Add compiler highlighting for quoted names in sourceDavid Raymond Christiansen b709748Merge pull request #2428 from david-christiansen/parser-highlightsDavid Christiansen 9a7f7d9Make 'case' more flexible with dependent typesEdwin Brady ec0b043Parser-driven highlighting of quasiquoted regionsDavid Raymond Christiansen 2a4e82bParser-driven highlighting of quotation symbolsDavid Raymond Christiansen 520f367Initial parser-driven highlightingDavid Raymond Christiansen 203945bMerge pull request #2426 from david-christiansen/issue/2425David Christiansen 012b898Fix quasiquotes of Raw bindingsDavid Raymond Christiansen 8173932Improve disambiguation a bit moreEdwin Brady 86dc822Fix totality problem with scoped implicitsEdwin Brady 06df4ecMerge pull request #2402 from david-christiansen/entering-dir-messageDavid Christiansen fb3d1a8Bracket new directory operations in messagesDavid Raymond Christiansen fd80612fromInteger tweakEdwin Brady 62bb361Merge pull request #2408 from mjgpy3/metavariable_to_hole_docsDavid Christiansen 336b4f6Merge pull request #2421 from LeifW/bump_dep_boundsDavid Christiansen b2673deMerge pull request #2422 from LeifW/cleanup_travis_depsDavid Christiansen 976563bRemove travis deps unused since llvm & java backend removals.Leif Warner 34d0e95Merge pull request #2420 from melted/ibc_cleanNiklas Larsson def8a1dBump some upper bounds on deps to build w/ stackage-nightlyLeif Warner 1f121beRemove unused entry "symbols" from IBCNiklas Larsson 504291bMerge pull request #2417 from jfdm/icons-and-mimesNiklas Larsson 1aa9f0bMerge pull request #2394 from jfdm/doc/updatesJan de Muijnck-Hughes f3fc32fIcons and mimetype declarationsJan de Muijnck-Hughes 64365dbMerge pull request #2410 from jfdm/typeintype-help-docNiklas Larsson d8b009bMerge pull request #2414 from Heather/wincNiklas Larsson 45420abfix building for windows/idris_stdfgn.cHeather 83b839fBring effects summary up to dateEdwin Brady 2ac0079Bring effects tutorial up to dateEdwin Brady edb2809Documentation Fixes for CLIJan de Muijnck-Hughes 6e7f896Careful when to show namespaces in :docEdwin Brady 09d107aChange namespace display in :t and :docEdwin Brady d23c653Consistent type variable names for fst/sndEdwin Brady dc27739Fix 'time' to return Integer rather than IntEdwin Brady 696f336Replace "metavariable" with "hole"Michael Gilliland 434dbabFix missing index contentsJan de Muijnck-Hughes 4f8d10fUpdate CHANGELOGEdwin Brady a737c5dUse predicates instead of equality proofs in ListEdwin Brady c4e6eafGive resugared names in incomplete term errorsEdwin Brady 28062bfMerge pull request #2385 from david-christiansen/issue/2356David Christiansen 00bfe56Clearer 'incomplete term' errorEdwin Brady 65b5c20Prefer 'List' at the REPLEdwin Brady e3dcb11Fix :search parserEdwin Brady 9ba4884Add Windows path for Cabal to tutorialDavid Raymond Christiansen 6370744Update docs for 'auto'Edwin Brady 18931a4Fixed naming error in test functions in tutorial.Jan de Muijnck-Hughes