Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / robrix/semilattices issues and pull requests

#19 - CI

Pull Request - State: closed - Opened by robrix 7 months ago - 1 comment

#18 - 0.0.0.6

Pull Request - State: closed - Opened by robrix 7 months ago - 2 comments

#17 - 0.0.0.5

Pull Request - State: closed - Opened by robrix 7 months ago

#16 - Tumble documentation

Issue - State: open - Opened by treeowl almost 4 years ago

#15 - Fix Win32 build.

Pull Request - State: closed - Opened by patrickt over 4 years ago

#14 - ghc 8.8.1

Pull Request - State: closed - Opened by robrix almost 5 years ago - 2 comments

#13 - Fix compilation on GHCJS.

Pull Request - State: closed - Opened by patrickt over 5 years ago

#12 - Loosen QuickCheck upper bounds.

Pull Request - State: closed - Opened by patrickt over 5 years ago

#11 - CI

Pull Request - State: closed - Opened by robrix almost 6 years ago

#10 - Bump containers and base versions to support GHC 8.6.

Pull Request - State: closed - Opened by patrickt almost 6 years ago - 4 comments

#9 - Define a Lower instance for Seq

Pull Request - State: closed - Opened by robrix about 6 years ago

#8 - Upper: fix typo in laws

Pull Request - State: closed - Opened by rybak over 6 years ago

#7 - Document design decision differences from lattices in the README

Issue - State: closed - Opened by robrix over 6 years ago - 1 comment
Labels: help wanted

#6 - Monoid instances

Pull Request - State: closed - Opened by robrix over 6 years ago

#5 - fix typo

Pull Request - State: closed - Opened by ocramz over 6 years ago - 1 comment

#4 - Test suite bounds and GHC 8 support

Pull Request - State: closed - Opened by thumphries over 6 years ago - 1 comment

#3 - Run the doctests in CI

Issue - State: closed - Opened by robrix over 6 years ago
Labels: help wanted

#2 - Rename lower and upper

Pull Request - State: closed - Opened by robrix over 6 years ago

#1 - Rename lower to lowerBound, upper to upperBound

Issue - State: closed - Opened by robrix over 6 years ago