Extend PureLang `cexp` with annotations
Open
- Dominant language
- Standard ML
- Stars
- 44
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Add an `Annot` form to `cexp` as follows:
```
annot = Inline mlstring | ...
cexp = ... | Annot annot cexp
```
This should desugar as follows: `exp_of (Annot _ ce) = exp_of ce`.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.