Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ctongfei/poly-algebra issues and pull requests
#3 - Implicit resolution of contravariant typeclass instances (SI-2509)
Issue -
State: open - Opened by ctongfei over 8 years ago
Labels: enhancement
#2 - Wrong definition of the monoid in upper and lower semilattice
Issue -
State: closed - Opened by jyuhuan over 9 years ago
- 1 comment
Labels: bug
#1 - Recursive definition of le and eq in LowerSemilattice and UpperSemilattice
Issue -
State: closed - Opened by jyuhuan over 9 years ago
- 1 comment
Labels: bug