2e7a841Merge pull request #3568 from rizo/patch-1Jan de Muijnck-Hughes10 years ago 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes10 years ago ff2ed8bMerge pull request #3571 from jfdm/revert-verbosityJan de Muijnck-Hughes10 years ago b79bf7bFix for cyclic solutions in unifyProblemsEdwin Brady10 years ago 9eb843dErrors for inspecting a _ in case/withEdwin Brady10 years ago cf61801Reverted changes to verbosity reporting.Jan de Muijnck-Hughes10 years ago 32c2467Account for 'let' with unbound implicitsEdwin Brady10 years ago 2196023Fix patvar naming for implicitsEdwin Brady10 years ago 01e9953Add missing quotation marks for `in`Rizo Isrof10 years ago 3b22e26Tiny comment fixSynthetica910 years ago f15d4cbAdded extra commentSynthetica910 years ago 02159a3Fixed the Num instance for ComplexSynthetica910 years ago 7e93d70Fix enumFromThenToEdwin Brady10 years ago 4c4a07aChange evaluation of partial functions at REPLEdwin Brady10 years ago 6d8bfbcAdd %used directive for idris_crashEdwin Brady10 years ago 4a5c677Add 'idris_crash'Edwin Brady10 years ago e8253fcAdded `Category Iso` in baseSynthetica910 years ago 280810bMerge pull request #3551 from jfdm/improv-compiler-progress-reportingJan de Muijnck-Hughes10 years ago 53c8ca7Updated changelog.Jan de Muijnck-Hughes10 years ago 714de35Fix verbosity configuration error.Jan de Muijnck-Hughes10 years ago 15b0829Improve progress reporting.Jan de Muijnck-Hughes10 years ago 4eee260Merge pull request #3561 from jfdm/fix-user-doc-for-ipkgJan de Muijnck-Hughes10 years ago a02bfecMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady10 years ago 58c3bb7Hide more features behind %language pragmasEdwin Brady10 years ago efd9950Updates to User Docs on Idris packages.Jan de Muijnck-Hughes10 years ago 2c9496ffix sphinx warnings.Jan de Muijnck-Hughes10 years ago 9cc65aafix heading in user docs.Jan de Muijnck-Hughes10 years ago e3fa3cdMerge pull request #3560 from justjoheinz/patch-2Jan de Muijnck-Hughes10 years ago fe82599Update the reference for packagesMarkus Klink10 years ago 9022afbMerge pull request #3556 from jfdm/fix-testpkg-for-windowsJan de Muijnck-Hughes10 years ago 4634210Merge pull request #3550 from jfdm/fix-idrisdoc-copyingJan de Muijnck-Hughes10 years ago dd7651eStarted work on Data.MonoidSynthetica910 years ago 1fee7a0Merge pull request #3554 from justjoheinz/patch-1Jan de Muijnck-Hughes10 years ago 03f3980Fix package testing for windows. Fixes #3541Jan de Muijnck-Hughes10 years ago 82afba4Update testing.rstMarkus Klink10 years ago 57a3b93Merge pull request #3552 from jfdm/improve-sys-exitJan de Muijnck-Hughes10 years ago a45f3beAdd %access export statementMarkus Klink10 years ago 4ddda1eupdated changelog.Jan de Muijnck-Hughes10 years ago 0ba2ce6Improve `System.Exit` Fixes #3488.Jan de Muijnck-Hughes10 years ago 6fc3627Merge pull request #3549 from jfdm/fix-safe-boundsJan de Muijnck-Hughes10 years ago e59d304Make bound for `safe` dependent in ghc version.Jan de Muijnck-Hughes10 years ago e62dcbaFix rangeSaurabh Rawat10 years ago c9883e6Used So instead of =Saurabh Rawat10 years ago d89f3faAdd non-zero restriction to gcdFabian Heredia Montiel10 years ago 327a423Merge pull request #3547 from Termina1/patch-1Jan de Muijnck-Hughes10 years ago a2a823dShow where used cabal and travis are.Jan de Muijnck-Hughes10 years ago d1bc3faMake fetching of data files more robust. Fixes #3544Jan de Muijnck-Hughes10 years ago e29c669Added documentation, fixed formattingSaurabh Rawat10 years ago 7eed681add myself to contributorsVyacheslav Shebanov10 years ago 8559356Relax safe bounds, Fixes #3543.Jan de Muijnck-Hughes10 years ago