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 492d0f6added more primFn to pass bounded testRui Barreiro9 years ago 18fa741removed unused constructorsRui Barreiro10 years ago 3fba96bRemember constants when checking recoverabilityEdwin Brady10 years ago aa0abbcPay attention to 'Force' in totality checkingEdwin Brady10 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 da46fd6added function name to error message for invalid ffi typesRui Barreiro10 years ago 1eb6d2cMerge pull request #3799 from BleuShan/expose-contrib-pipelineNiklas Larsson10 years ago 2eb96f3Add Control.Pipeline to contrib ipkgPhilippe Lafontaine10 years ago a8b73ddUpdate interfaces to remove use of constantsTim McGilchrist10 years ago 8c3ecb8Docs: ``ElabReflection`` needs explicit enablingStephan Brandauer10 years ago 391e012Merge pull request #3790 from atacratic/VerifiedImplsAhmad Salim Al-Sibahi10 years ago 8a500f2Remove commented-out code from libs/contrib/Interfaces/Verified.idrChris Gibbs10 years ago 97d21deRemove TODOs from libs/contrib/Interfaces/Verified.idrChris Gibbs10 years ago f5557bcTweak VerifiedMonad to remove a believe_meChris Gibbs10 years ago 6490356Add implementation of `VerifiedSemigroup Nat`, and others along the same lines, all in contrib.Chris Gibbs10 years ago 8453697added support for bigints and int32, before both of than were working with js numbers(doubles)Rui Barreiro10 years ago 462d4f2improvment in tailcall optim usage of variablesRui Barreiro10 years ago 2be53f8created names for partial applicationsRui Barreiro10 years ago a254920fixed tail call optim when closuser involvedRui Barreiro10 years ago e6575c2Merge pull request #3777 from KimStebel/patch-1Ahmad Salim Al-Sibahi10 years ago 9beee44Merge pull request #3771 from Synthetica9/SortedSet_TODO_DoneAhmad Salim Al-Sibahi10 years ago d0fc5e7Merge pull request #3776 from be5invis/patch-1Ahmad Salim Al-Sibahi10 years ago 588e276Update README.mdKim Stebel10 years ago 43a155dremove links to unmaintained backendsKim Stebel10 years ago 61023b5Export Functor (SortedMap k)Belleve Invis10 years ago dc44b02new javascript backendRui Barreiro10 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