FoSSaCS 2020 Code
Patricia Johann and Andrew Polonsky
Bush.agda
Examples.agda
Hodt.agda
Lambda.agda