Ecosyste.ms: Issues

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

GitHub / nomeata/free-theorems-static-webui issues and pull requests

#6 - Fix build on ghc < 9.0

Pull Request - State: closed - Opened by alexfmpe almost 2 years ago

#5 - Github actions

Issue - State: open - Opened by nomeata almost 2 years ago

#4 - Fix cabal warning

Pull Request - State: closed - Opened by alexfmpe almost 2 years ago

#3 - Fix build post monadfail proposal

Pull Request - State: closed - Opened by alexfmpe almost 2 years ago - 14 comments

#2 - Patches, incl. Second card should be specialiseAll

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

#1 - Typo fix on main page

Pull Request - State: closed - Opened by byorgey over 6 years ago - 2 comments