Ecosyste.ms: Issues

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

GitHub / jwaldmann/satchmo issues and pull requests

#8 - Releasing a new version to Hackage

Issue - State: closed - Opened by msakai about 2 years ago - 2 comments

#7 - Fix compilation error on GHC >=8.8 due to the MonadFail proposal

Pull Request - State: closed - Opened by msakai over 2 years ago

#6 - Replace PatternSignatures with ScopedTypeVariables

Pull Request - State: closed - Opened by msakai over 2 years ago - 1 comment

#4 - use memoization

Issue - State: open - Opened by jwaldmann over 8 years ago

#3 - improve Satchmo.Counting

Issue - State: open - Opened by jwaldmann over 8 years ago

#2 - option for verbose output (on by default)

Pull Request - State: closed - Opened by martinfinke over 9 years ago

#1 - Satchmo.SAT.External: incomplete output

Issue - State: open - Opened by jwaldmann over 9 years ago