Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gallais/generic-syntax issues and pull requests
#11 - [ new ] Descriptions are closed under products
Pull Request -
State: closed - Opened by gallais almost 3 years ago
#10 - Unsound use of Sized types in Environment module
Issue -
State: open - Opened by cmcl about 3 years ago
- 1 comment
#9 - [ ci ] also build src/ & deploy html
Pull Request -
State: closed - Opened by gallais about 3 years ago
Labels: continuous integration
#8 - [ ci ] moving to github actions
Pull Request -
State: closed - Opened by gallais about 3 years ago
Labels: continuous integration
#7 - JFP version of this paper
Issue -
State: closed - Opened by shriram about 3 years ago
- 1 comment
#6 - [ admin ] update to Agda 2.6.1.3 and stdlib 1.5
Pull Request -
State: closed - Opened by gallais over 3 years ago
#5 - some minor changes to get going
Pull Request -
State: closed - Opened by jmchapman about 5 years ago
#4 - Compat 2.6.0
Pull Request -
State: closed - Opened by gallais over 5 years ago
#3 - Upgrade to stdlib 0.15
Pull Request -
State: closed - Opened by Lapin0t over 6 years ago
- 2 comments