Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / andrew-johnson-4/LSTS issues and pull requests
#40 - Require all algebra to be justified in strict mode
Issue -
State: closed - Opened by andrew-johnson-4 over 2 years ago
- 2 comments
Labels: bug, checker
#38 - Allow type parameters in more places
Issue -
State: closed - Opened by andrew-johnson-4 over 2 years ago
- 2 comments
Labels: enhancement, parser
#37 - Generate proof objects in HVM
Issue -
State: closed - Opened by andrew-johnson-4 over 2 years ago
- 1 comment
Labels: enhancement, backend
#36 - compile to HVM as a backend
Issue -
State: closed - Opened by andrew-johnson-4 over 2 years ago
- 1 comment
Labels: enhancement, backend