Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / brendanzab/language-garden issues and pull requests
#4 - Km/fix records
Pull Request -
State: closed - Opened by Kmeakin 9 months ago
- 1 comment
#3 - Add `elab-stlc-fix`
Pull Request -
State: closed - Opened by Kmeakin 9 months ago
- 3 comments
#2 - Add `elab-stlc-letrec`
Pull Request -
State: closed - Opened by Kmeakin 9 months ago
- 3 comments
#1 - On desugaring before/during type checking
Issue -
State: closed - Opened by hirrolot almost 2 years ago
- 6 comments
Labels: question