Giters

CakeML / pure

A verified compiler for a lazy functional language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Make ThunkLang definition / lemma files follow envLang's organisation

myreen opened this issue · comments

commented

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.