pure icon indicating copy to clipboard operation
pure copied to clipboard

Published 20 hours ago • verified publisher icon CakeML

Make ThunkLang definition / lemma files follow envLang's organisation

Open myreen opened this issue 1 year ago • 0 comments

Currently, ThunkLang's definition of cexp_wf, exp_of etc. are in the wrong places considering the conventions that EnvLang and StateLang follow. This issue is about adjusting files so that ThunkLang follows EnvLang and StateLang in organisation.

myreen avatar Jun 21 '23 15:06 myreen