supercompilation - Robuta Search

https://github.com/sergei-romanenko/staged-mrsc-agda GitHub - sergei-romanenko/staged-mrsc-agda: Staged multi-result supercompilation (a model in Agda)... Staged multi-result supercompilation (a model in Agda) - sergei-romanenko/staged-mrsc-agda