pure icon indicating copy to clipboard operation
pure copied to clipboard
verified publisher icon CakeML

Consistently follow pureLang's example of pure_exp_lemmas, pure_eval_lemmas

Open myreen opened this issue 2 years ago • 0 comments

Consistently follow pureLang's example of pure_exp_lemmas, pure_eval_lemmas. For backend languages these should be in compiler/backend/languages/properties.

myreen avatar Jun 21 '23 15:06 myreen