2

2021-talk-extraction

My talk about extraction in Agda