Staged multi-result supercompilation (a model in Agda)
Primary LanguageAgda
No issues in this repository yet.