fcbabc2Merge pull request #3804 from melted/fix_idleNiklas Larsson9 years ago e57e259Do not run idle GCsNiklas Larsson9 years ago ed5c125Merge pull request #3803 from melted/fix_3801Niklas Larsson9 years ago e42792fDrop trailing separators when specifying dirs to compilerNiklas Larsson9 years ago 3fba96bRemember constants when checking recoverabilityEdwin Brady9 years ago aa0abbcPay attention to 'Force' in totality checkingEdwin Brady9 years ago f5bae6bEta contract some typesEdwin Brady10 years ago 63cfb38Reduce logging at level 1Edwin Brady10 years ago 2cf2f31Missing header in Socket.idrEdwin Brady10 years ago 1eb6d2cMerge pull request #3799 from BleuShan/expose-contrib-pipelineNiklas Larsson9 years ago 2eb96f3Add Control.Pipeline to contrib ipkgPhilippe Lafontaine9 years ago 391e012Merge pull request #3790 from atacratic/VerifiedImplsAhmad Salim Al-Sibahi9 years ago 8a500f2Remove commented-out code from libs/contrib/Interfaces/Verified.idrChris Gibbs9 years ago 97d21deRemove TODOs from libs/contrib/Interfaces/Verified.idrChris Gibbs9 years ago f5557bcTweak VerifiedMonad to remove a believe_meChris Gibbs9 years ago 6490356Add implementation of `VerifiedSemigroup Nat`, and others along the same lines, all in contrib.Chris Gibbs9 years ago e6575c2Merge pull request #3777 from KimStebel/patch-1Ahmad Salim Al-Sibahi9 years ago 9beee44Merge pull request #3771 from Synthetica9/SortedSet_TODO_DoneAhmad Salim Al-Sibahi9 years ago d0fc5e7Merge pull request #3776 from be5invis/patch-1Ahmad Salim Al-Sibahi9 years ago 588e276Update README.mdKim Stebel10 years ago 43a155dremove links to unmaintained backendsKim Stebel10 years ago 61023b5Export Functor (SortedMap k)Belleve Invis10 years ago f1c4090Changed `intersection` to use a more efficient implementationSynthetica910 years ago 1b8afb1Fixed a tiny typoSynthetica910 years ago d5b8435Fixed the intersection to actually be the intersection instead of the symmetric diferenceSynthetica910 years ago f9c5d9aForgot to add the actual changesSynthetica910 years ago dba8a5bAdded the operations specified in the TODO in contrib/Data/SortedSetSynthetica910 years ago 385f848Add usleep from System to Effect.System (#3749)Artem Ohanjanyan10 years ago 515ac42Interpreter tests (#3747)Chris Ford10 years ago 502ad1fMerge pull request #3748 from tsani/pair-is-functorAhmad Salim Al-Sibahi10 years ago bccb3a5Merge pull request #3753 from justjoheinz/docs/fix_reflAhmad Salim Al-Sibahi10 years ago 2d02b09Fix reference to "refl" in misc referenceMarkus Klink10 years ago 4bbe9c5Merge pull request #3741 from lpil/Control.PipelineAhmad Salim Al-Sibahi10 years ago c68cd26Merge pull request #3744 from Pastafarianist/patch-1Ahmad Salim Al-Sibahi10 years ago ff0fc61Merge pull request #3754 from jfdm/fix-baseJan de Muijnck-Hughes10 years ago 2c1503cFormatted module list in `base.ipkg`Jan de Muijnck-Hughes10 years ago 7dc5098Removed old version of SortedSet from `base`.Jan de Muijnck-Hughes10 years ago ee7a3cbPrelude: implement Functor for `Pair a`Jacob Errington10 years ago 7bd33c2Merge pull request #3736 from ctford/idris_timeNiklas Larsson10 years ago 5ddb7a3Extra check in parseIntegerDmitry Nikulin10 years ago a6be726Control.Pipeline example usageLouis Pilfold10 years ago 20569c5Control.PipelineLouis Pilfold10 years ago a521cc4Fix the idris_time special case.Chris Ford10 years ago c56feb8Merge pull request #3737 from ctford/mkFileErrorNiklas Larsson10 years ago 05893dbMerge pull request #3738 from ctford/warn-on-missing-stylish-haskellNiklas Larsson10 years ago 05ccaf3Abort if stylish-haskell is missing.Chris Ford10 years ago 4317228Handle idris_mkFileError through a special-case.Chris Ford10 years ago e019840Merge pull request #3734 from mheinzel/lib-documentation-typosAhmad Salim Al-Sibahi10 years ago d52f83aFix typos etc. in String docsMatthias Heinzel10 years ago e421169Merge pull request #3728 from david-christiansen/issue/3726David Christiansen10 years ago