Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Risto-Stevcev/idris-heyting-algebra issues and pull requests
#2 - Default implementations of `not` and `implies`
Issue -
State: closed - Opened by clayrat about 7 years ago
- 4 comments
#1 - DistributiveLattice?
Issue -
State: closed - Opened by clayrat about 7 years ago
- 1 comment