git.iko.soy/Idris-dev
on def8a1d help sign in
def8a1dBump some upper bounds on deps to build w/ stackage-nightlyLeif Warner 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 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 d9d03c0Move mention of PATH earlier in tutorialDavid Raymond Christiansen 9107357Merge pull request #2383 from david-christiansen/semantic-highlightDavid Christiansen e1fce3fFix error location in testDavid Raymond Christiansen c48561fBetter approximation of syntax rule errorsDavid Raymond Christiansen e9e7993Replace absurd syntax rule FCsDavid Raymond Christiansen 3be8229Stop overwriting case block pattern highlightsDavid Raymond Christiansen 823be86Highlight postulates and their definitionsDavid Raymond Christiansen