search

CakeML / pure

A verified compiler for a lazy functional language
Other
32 stars 4 forks source link

Type synonyms #52

Open hrutvik opened 1 year ago

hrutvik commented 1 year ago

We do not currently permit type synonyms, e.g. type syn = old_type.

Suggested by QuviQ.