pure icon indicating copy to clipboard operation
pure copied to clipboard

Published 20 hours ago • verified publisher icon CakeML

Extend PureLang `cexp` with annotations

Open hrutvik opened this issue 4 months ago • 1 comments

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.

hrutvik avatar Feb 09 '24 15:02 hrutvik