git.iko.soy/Idris-dev
on 62bb361 help sign in
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 d634c32Merge pull request #2395 from david-christiansen/highlight-fileDavid Christiansen 9f04257UpdatesJan de Muijnck-Hughes 0280b22Add --highlight to CHANGELOGDavid Raymond Christiansen a3407cbDisplay 'Hole' instead of 'Metavariable'Edwin Brady ac68541Dump highlighting infoDavid Raymond Christiansen 8b46d8fUpdated package documentation.Jan de Muijnck-Hughes 6923b54Fixed reST usage in elaborator reference.Jan de Muijnck-Hughes 4ac4488Updated package documentation.Jan de Muijnck-Hughes 0b68452Added SVG logosEdwin Brady d5c9d23Merge pull request #2391 from david-christiansen/issue/2381David Christiansen 3275df6Add :link-href to IDE mode docsDavid Raymond Christiansen 8d96041Annotate links with their URLDavid Raymond Christiansen 67143bdDocument the FFI with docstringsDavid Raymond Christiansen 3760508Add a timeout to checkMessagesEdwin Brady 1fd9722Merge pull request #2387 from jgriebler/fix/repl-parseNiklas Larsson fd5c458Simplify implementation of trimJohannes Griebler 8e550c1Trim trailing whitespace in parseCmdJohannes Griebler 5457da9Merge pull request #2384 from david-christiansen/syntax-fcDavid Christiansen