Ecosyste.ms: Issues

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

GitHub / odomontois/tincat issues and pull requests

#7 - Semigroups + refactoring

Pull Request - State: closed - Opened by road21 over 6 years ago

#6 - Pointed Set + refactoring

Pull Request - State: closed - Opened by road21 over 6 years ago

#5 - fix holes in SetCat

Pull Request - State: closed - Opened by road21 over 6 years ago

#4 - Category Set

Pull Request - State: closed - Opened by road21 over 6 years ago

#3 - Terminal object

Pull Request - State: closed - Opened by road21 over 6 years ago

#2 - Symmetry and transitivity properties for iso

Pull Request - State: closed - Opened by road21 over 6 years ago

#1 - iso and one little property

Pull Request - State: closed - Opened by road21 over 6 years ago