/safe-for-space

Formal proof that closure conversion with flat environments is safe for space.

Primary LanguageCoq

No issues in this repository yet.