eb41a1dAllow capitalized pattern variables via switchAhmad Salim Al-Sibahi9 years ago bb2109ffix punctuationLuo Chen9 years ago 4b04d93Fix shell return code, closes #4362Jorge Acereda9 years ago 1cdf39cReorder link flagsJorge Acereda9 years ago f351735stack test --nix should work nowJorge Acereda9 years ago b93fe6bAdded export and totality directives (#4360)badbadboy9 years ago 507a731Bump IBC version after removing `%elim` itemsAhmad Salim Al-Sibahi9 years ago 0e31dcbFix #4346 - add Network.Socket.recvAllGareth Smith9 years ago cc7ef9aRemove old eliminator generation and induction tactic (#4351)Ahmad Salim Al-Sibahi9 years ago 94c6dc2Fixed `Data.SortedBag.contains` and added docs to Data.PosNat (#4348)Patrick Hilhorst9 years ago c229eccMerge pull request #4350 from michelrandahl/patch-1Ahmad Salim Al-Sibahi9 years ago 41951f2Update type-providers-ffi.rstMichel Bøje Randahl Nielsen9 years ago 2be6e6aVarious additions to contrib (#4343)Patrick Hilhorst9 years ago ecd3bc6Update Cabal-Version field to 1.22Ahmad Salim Al-Sibahi9 years ago 3a71443Merge pull request #4344 from juhp/patch-4Ahmad Salim Al-Sibahi9 years ago fab2841fix for odd-even bug in random (#4339)martinbaker9 years ago 5843c91add issue tracker to .cabal fileJens Petersen9 years ago a7257e6Merge pull request #4340 from mpilgrem/ansi-terminalAhmad Salim Al-Sibahi9 years ago d3d1bdaBump ansi-terminal upper bound to <0.9Mike Pilgrem9 years ago 5102e48Reverse improvements (#4310)Boyd Stephen Smith Jr9 years ago 3be1766Fix looped temporary allocations in mini-GMP (#4324)yanok9 years ago d8dd94bAdd `Identity a` basic instances (#4336)aiya0009 years ago c1d7e65Merge pull request #4338 from aiya000/feature/effects-runPureEnvAhmad Salim Al-Sibahi9 years ago a6037b9Fin.restrict fix (#4337)Trevon Sutton9 years ago f7f5836Add Effects.runPureEnvaiya0009 years ago 1381cdbAdd a `runEnv` document commentaiya0009 years ago 6d7fd7bMerge pull request #4335 from aiya000/feature/move-ignore-func-to-prelude-functorAhmad Salim Al-Sibahi9 years ago a7a5c29Move `ignore` to Prelude.Functoraiya0009 years ago 14f10fdMerge pull request #4333 from mokshasoft/seL4Niklas Larsson9 years ago 5b47f2dMakefiles and changes needed for the C RTS on the seL4 microkernelJonas Claeson9 years ago a47ec34Merge pull request #4326 from jfdm/lts-10.4Ahmad Salim Al-Sibahi9 years ago e96f3bbMerge pull request #4320 from yanok/exec-failAhmad Salim Al-Sibahi9 years ago 18d9c5eMerge pull request #4331 from foolswood/patch-1Ahmad Salim Al-Sibahi9 years ago c0728e9Correct doc typosDavid Honour9 years ago 575cc50Bump Idris to compile against LTS 10.4.Jan de Muijnck-Hughes9 years ago 8e2aff5Print error message if :exec'ed program exits with failureIlya Yanok9 years ago 1d19304Add test for REPL reporting abnormal :exec resultsIlya Yanok9 years ago 395e8a0Merge pull request #4318 from juniorrojas/patch-1Ahmad Salim Al-Sibahi9 years ago 242e103Fix typoJunior Rojas9 years ago a7ad4e6Merge pull request #4315 from clayrat/patch-8Ahmad Salim Al-Sibahi9 years ago 988f5b9Add bitsToHexStr to Data.BitsAlex Gryzlov9 years ago 80932efMerge pull request #4309 from joom/masterAhmad Salim Al-Sibahi9 years ago a4c183cSet C language standard to C99 in runtime and codegen (#4308)Alex Queiroz9 years ago 183ae43Merge pull request #4257 from gallais/opts-ipkgAhmad Salim Al-Sibahi9 years ago 377d87a[ fix #4255 ] Not silently accepting invalid optionsGuillaume Allais9 years ago 831755fUpdate documentation to add the options for CATS in loggingJoomy Korkut9 years ago 5813103Fix for stylishEdwin Brady9 years ago 01b9388Merge pull request #4298 from clayrat/linearletAhmad Salim Al-Sibahi9 years ago 843348eMerge pull request #4303 from yanok/masterAhmad Salim Al-Sibahi9 years ago 7e876c0Merge pull request #4306 from gallais/module-nameAhmad Salim Al-Sibahi9 years ago