Ecosyste.ms: Issues

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

GitHub / crypto-agda/explore issues and pull requests

#3 - `Relation.Binary.Sum/Product` being removed from the standard library

Issue - State: open - Opened by MatthewDaggitt over 5 years ago

#2 - RawMon type checking fails in Properties.agda

Issue - State: open - Opened by curiousleo about 10 years ago

#1 - List agda-nplib as a dependency

Issue - State: open - Opened by curiousleo about 10 years ago