Unfolding control for abstract blocks

Jesper Cockx

Date: Wed, December 07, 2022
Time: 12:00
Room: Turing

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 |
Next: Soham Chakraborty |