git.iko.soy/Idris-dev
on master help sign in
history ofebbae35..master
compare
bde101fBetter inference for case blocksEdwin Brady 1cc3acdIncrement patch version numberEdwin Brady 6011227Fix regression with making class bodiesEdwin Brady 70b6c86Tweak desugaring rules for 'case' in do blocksEdwin Brady c0063fftypo fixesBrent Yorgey dae335bclarify re: using block and indentationBrent Yorgey ed5ecbcMerge pull request #2815 from Heather/idris_stdfgnNiklas Larsson b8065d9idris_stdfgn.c: use conditional compilation since there is only one function which is different for windows realizationHeather f20bfe8Merge pull request #2814 from Heather/rts-win-fixNiklas Larsson 9da8762Implement missing idris_mkFileError for windows rts filesHeather a7754a0Add MkImpossibleClause constructor to FunClauseShea Levy 913cddbVersion incrementv0.9.20Edwin Brady eb99603Some renaming, for better display of docs/holesEdwin Brady 76b1675Merge pull request #2776 from LeifW/ioexcept_golfEdwin Brady 12f79aaMerge pull request #2686 from cmcl/fix-master-eff-tutorialEdwin Brady d832730"function", not "method"Brent Yorgey 9cab2e9updates to typesfuns.rstBrent Yorgey f9a905eFix assumption in test that sizeof(size_t) == 8Jacob Mitchell 7bcab73Remove discussion of deprecated FFIJacob Mitchell 731c6e4Update Type Provider docs to use current FFIJacob Mitchell b24a685Merge branch 'master' into fix/master/cleanup-deprecated-ffiJacob Mitchell b49893eRename isLengthEdwin Brady 5e94bc9Remove %error_reverse from IO'Edwin Brady eb041bcMake some IO types more specificEdwin Brady 1a46d58Merge pull request #2784 from LeifW/eff_tut_syntaxJan de Muijnck-Hughes 74068ecRemove "notation" - syntax rule isn't used anymore.Leif Warner 4a5e169Remove leftover old dependent effect syntax.Leif Warner 5a3e5dbMerge pull request #2736 from enolan/improve-syntax-guideEdwin Brady 92bdae5Added Prelude.File.writeFileEdwin Brady b1872fbFile IO type indicates possibility of failureEdwin Brady d740cc5Tell Cabal about new test filesJacob Mitchell f59d80bUpdate Expected Quasiquote output to reflect changesSam Elliott 272efeaAdd *> as a shortcut for do a; b on EffectsLeif Warner 80d88b1Turn IOException into a record to avoid the let-binding patmatch.Leif Warner 076c2d6Simplify some expressions in IOExcept.Leif Warner 5ef4a6cExplain the separation between the declaration and definition of voidShea Levy ace1020Added docs for anyElimDaniel Waterworth 98f1becAdded quantifiers for Lists analogous to the ones for VectsDaniel Waterworth b257e4bAnnotate the Prelude with %used for backendsSam Elliott f4bfe5cDefine void with an elab script, not elim_forShea Levy 96c9239Reference docs: correct sentence about type syntax.Echo Nolan 62e662bRestructed vector add example and fixed error in code snippet.Craig McLaughlin dcacfeaMerge branch 'feature/deppairparsing' of github.com:ahmadsalim/Idris-dev into feature/deppairparsingAhmad Salim Al-Sibahi bf0fe16Merge pull request #1 from david-christiansen/ahmadsalim-feature/deppairparsingAhmad Salim Al-Sibahi 39ecf99Fixed parsing of dependent pair expressions when Type appears as a typeAhmad Salim Al-Sibahi 7bf0ea3Pretty-printer for new nested dependent pair syntaxDavid Raymond Christiansen f3ce68eMerge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsingDavid Raymond Christiansen 894f664Allowed multiple bindings in dependent pairsAhmad Salim Al-Sibahi