git.iko.soy/Idris-dev
on 9b372d8 help sign in
9b372d8add Network/Socket/Data.idrPoroCYon 2383614rearrange stuffPoroCYon b817debexport socket internals in Network.Socket.RawPoroCYon 17f0899Merge pull request #3574 from jfdm/tidy-reportingJan de Muijnck-Hughes 2e7a841Merge pull request #3568 from rizo/patch-1Jan de Muijnck-Hughes 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes ff2ed8bMerge pull request #3571 from jfdm/revert-verbosityJan de Muijnck-Hughes b79bf7bFix for cyclic solutions in unifyProblemsEdwin Brady 9eb843dErrors for inspecting a _ in case/withEdwin Brady cf61801Reverted changes to verbosity reporting.Jan de Muijnck-Hughes 32c2467Account for 'let' with unbound implicitsEdwin Brady 2196023Fix patvar naming for implicitsEdwin Brady 01e9953Add missing quotation marks for `in`Rizo Isrof 7e93d70Fix enumFromThenToEdwin Brady 4c4a07aChange evaluation of partial functions at REPLEdwin Brady 6d8bfbcAdd %used directive for idris_crashEdwin Brady 4a5c677Add 'idris_crash'Edwin Brady 280810bMerge pull request #3551 from jfdm/improv-compiler-progress-reportingJan de Muijnck-Hughes 53c8ca7Updated changelog.Jan de Muijnck-Hughes 714de35Fix verbosity configuration error.Jan de Muijnck-Hughes 15b0829Improve progress reporting.Jan de Muijnck-Hughes 4eee260Merge pull request #3561 from jfdm/fix-user-doc-for-ipkgJan de Muijnck-Hughes a02bfecMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 58c3bb7Hide more features behind %language pragmasEdwin Brady efd9950Updates to User Docs on Idris packages.Jan de Muijnck-Hughes 2c9496ffix sphinx warnings.Jan de Muijnck-Hughes 9cc65aafix heading in user docs.Jan de Muijnck-Hughes e3fa3cdMerge pull request #3560 from justjoheinz/patch-2Jan de Muijnck-Hughes fe82599Update the reference for packagesMarkus Klink 9022afbMerge pull request #3556 from jfdm/fix-testpkg-for-windowsJan de Muijnck-Hughes 4634210Merge pull request #3550 from jfdm/fix-idrisdoc-copyingJan de Muijnck-Hughes 1fee7a0Merge pull request #3554 from justjoheinz/patch-1Jan de Muijnck-Hughes 03f3980Fix package testing for windows. Fixes #3541Jan de Muijnck-Hughes 82afba4Update testing.rstMarkus Klink 57a3b93Merge pull request #3552 from jfdm/improve-sys-exitJan de Muijnck-Hughes a45f3beAdd %access export statementMarkus Klink 4ddda1eupdated changelog.Jan de Muijnck-Hughes 0ba2ce6Improve `System.Exit` Fixes #3488.Jan de Muijnck-Hughes 6fc3627Merge pull request #3549 from jfdm/fix-safe-boundsJan de Muijnck-Hughes e59d304Make bound for `safe` dependent in ghc version.Jan de Muijnck-Hughes d89f3faAdd non-zero restriction to gcdFabian Heredia Montiel 327a423Merge pull request #3547 from Termina1/patch-1Jan de Muijnck-Hughes a2a823dShow where used cabal and travis are.Jan de Muijnck-Hughes d1bc3faMake fetching of data files more robust. Fixes #3544Jan de Muijnck-Hughes 7eed681add myself to contributorsVyacheslav Shebanov 8559356Relax safe bounds, Fixes #3543.Jan de Muijnck-Hughes 617f8a8change export rules for moduleVyacheslav Shebanov 01aff97Fix names in generating missing casesEdwin Brady ea88b5eBetter choice of pattern to inspect in coverageEdwin Brady 7c95173Undo more liberal choice of forced argumentsEdwin Brady