Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jozefg/nbe-for-mltt issues and pull requests
#3 - Check type in check term
Pull Request -
State: closed - Opened by emmanueljs1 6 months ago
- 1 comment
#2 - Pi/Sigma types forgot to check whether they are really types
Issue -
State: closed - Opened by Trebor-Huang over 1 year ago
- 1 comment
#1 - a semantic type checker & actual syntax.
Pull Request -
State: closed - Opened by jozefg about 6 years ago
- 1 comment