PLFA is tested against specific versions of Agda and the standard library, which are shown in the badges above. Agda and the standard library change rapidly, and these changes often break PLFA, so ...

For the time being no pre-made Docker image is published in a registry, but you can create and load one as follows. The process might take a while but is fully automated and reproducible, and has ...