PLFA is now available as a PDF and an EPUB! #PLFA #Agda
[PDF]: https://plfa.github.io/plfa.pdf
[EPUB]: https://plfa.github.io/plfa.epub
Also, the links in the announcement are broken, even though they're fixed on the web branch, but frustratingly I can't seem to get GitHub to refresh the site!
There's a couple of rough edges to the generated documents, and patches to the compilation process are very, very welcome!