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 almost 5 years ago
- 2 comments
#5 - Exists stability and improved unapply
Pull Request -
State: closed - Opened by wemrysi about 5 years ago
#4 - Make Exists.unapply work
Issue -
State: open - Opened by djspiewak about 5 years ago
#3 - Add an implicit applied Forall instance
Pull Request -
State: closed - Opened by joroKr21 about 5 years ago
- 3 comments
#2 - Add Exists.unapply
Pull Request -
State: closed - Opened by wemrysi about 5 years ago
#1 - Wrong URL for Edward Kmett's github profile
Issue -
State: closed - Opened by glowe about 5 years ago
- 1 comment