Staged multi-result supercompilation (a model in Agda)
Agda
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Copat
Protocol
docs
.gitignore
AbstractSc.agda
AlmostFullRel.agda
BarWhistles.agda
BigStepCounters.agda
BigStepSc.agda
BigStepScTests.agda
BigStepScTheorems.agda
Cographs.agda
CographsTheorems.agda
Graphs.agda
GraphsTheorems.agda
README.agda
README.md
Statistics.agda
StatisticsTheorems.agda
Util.agda

README.md

Staged Multi-result Supercompilation: Filtering by Transformation

See docs/README.md.