All pull requests

Pull requests

• bump ansi-wl-pprint and optparse-applicative

  #4927·juhp opened Aug 2, 2024Contributor·

  ·

• Correct minor typo in documentation

  #4919·isti115 opened May 23, 2022·

  ·

• Add .mailmap

  #4913·reynir opened Mar 29, 2022Contributor·

  ·

• Fix function name in one of the erasure examples

  #4911·hyphenrf opened Jan 8, 2022·

  ·

• #4880, in interfaces.rst, replace "brackets" by "parentheses"

  #4881·andreas-roehler opened Jul 28, 2020·

  ·

• Add missing List modules to contrib.ipkg

  #4849·yurrriq opened Apr 24, 2020Contributor·

  ·

• Add some "verified" implementations

  #4848·nickdrozd opened Apr 19, 2020Contributor·

  ·
  20

• Freertos port

  #4817·mokshasoft opened Feb 15, 2020Contributor·

  ·
  2

• Module with properties of Bool was moved from contrib to base

  #4789·buzden opened Dec 2, 2019Contributor·

  ·
  1

• Functions to operate with So of conjunctions

  #4788·buzden opened Dec 1, 2019Contributor·

  ·

• Update tutorial's "using" example to avoid errors

  #4688·acarrico opened Apr 17, 2019·

  ·
  4

• Enable GHC 8.4 in travis

  #4611·melted opened Dec 11, 2018Contributor·

  ·
  4

• Add not LTE implies GT, and LTE implies maximum.

  #4428·LeifW opened Apr 25, 2018Contributor·

  ·
  3

• Build on Nixpkgs/NixOS

  #4405·jacereda opened Apr 2, 2018Contributor·

  ·
  35

• Made fromIntegerNat use case instead of if

  #4357·SaraWolffs opened Feb 26, 2018Contributor·

  ·
  2

• Text.Parser: support for stateful grammars

  #4286·msmorgan opened Jan 8, 2018Contributor·

  ·
  13

• Use XDG directories

  A-Under Review
  #3456·adamsmd opened Sep 24, 2016·

  ·
  29