Ecosyste.ms: Issues

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

GitHub / djspiewak/skolems issues and pull requests

#7 - Mark Exists and Forall as Serializable

Pull Request - State: closed - Opened by wemrysi over 4 years ago - 1 comment

#6 - Support for forall type constructor

Issue - State: open - Opened by lemastero over 4 years ago - 2 comments

#5 - Exists stability and improved unapply

Pull Request - State: closed - Opened by wemrysi almost 5 years ago

#4 - Make Exists.unapply work

Issue - State: open - Opened by djspiewak almost 5 years ago

#3 - Add an implicit applied Forall instance

Pull Request - State: closed - Opened by joroKr21 almost 5 years ago - 3 comments

#2 - Add Exists.unapply

Pull Request - State: closed - Opened by wemrysi almost 5 years ago

#1 - Wrong URL for Edward Kmett's github profile

Issue - State: closed - Opened by glowe almost 5 years ago - 1 comment