Unfolding control for abstract blocks

Jesper Cockx

In this talk, I will give a demo of a proposed new feature for Agda that was prototyped during the recent Agda meeting in Edinburgh. The PR for this features can be found at https://github.com/agda/agda/pull/6354. After the demo, I’d like to lead a discussion on some remaining design questions.

---

Previous: Pieter van den Ham | Fencing off unwanted behavior: Improving and evaluating the Fency static analysis tool
Next: Soham Chakraborty | Binary Translation for Weak Memory Model Architectures