Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / deducteam/dedukti-standard issues and pull requests
#7 - Type checking derivation rules
Issue -
State: open - Opened by francoisthire over 2 years ago
Labels: 1.0
#5 - Legacy terms
Issue -
State: open - Opened by 01mf02 over 2 years ago
- 4 comments
Labels: 1.0
#4 - Modules
Issue -
State: open - Opened by 01mf02 over 2 years ago
- 9 comments
Labels: 2.0
#3 - Characters
Issue -
State: open - Opened by 01mf02 over 2 years ago
- 21 comments
Labels: 2.0
#2 - Backwards compatibility
Issue -
State: open - Opened by 01mf02 over 2 years ago
- 7 comments
Labels: 2.0
#1 - How is the Dedukti standard developed?
Issue -
State: closed - Opened by 01mf02 over 2 years ago
- 7 comments