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
There's a couple of rough edges to the generated documents, and patches to the compilation process are very, very welcome!
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!