Moved related information to announcements.

_posts/2020-01-10-plfa-as-a-notebook.md

@@ -0,0 +1,11 @@
+---
+layout : post
+title  : "PLFA as a Notebook"
+---
+
+NextJournal has created [a notebook version of PLFA][NextJournal-PLFA], which lets you edit and run the code samples from the book online!
+
+The notebook is based on [PLFA version 19.08][PLFA-19.08], with some minor changes to adapt the contents to NextJournal.
+
+[PLFA-19.08]: https://plfa.github.io/19.08/
+[NextJournal-PLFA]: https://nextjournal.com/plfa/ToC

_posts/2020-04-30-praise-for-plfa.md

@@ -0,0 +1,13 @@
+---
+layout : post
+title  : "Praise for PLFA!"
+---
+
+[*Types and Semantics for Programming Languages*][TSPL-2019], the course we teach in Edinburgh, was shortlisted as an Outstanding Course by the [Edinburgh University Student Association][EUSA-2020] (Runner Up)!
+
+> “Types and Semantics for Programming Languages was the single best course I took throughout my time at the University of Edinburgh. Philip Wadler clearly poured his heart into teaching it, including writing a whole textbook including exercises specifically for the course.”
+
+> “One of the most inspiring courses. Philip designed a course that is both very theoretical and very practical.”
+
+[TSPL-2019]: https://plfa.github.io/20.07/TSPL/2019/
+[EUSA-2020]: https://www.eusa.ed.ac.uk/representation/campaigns/teachingawards2020/

_posts/2020-06-23-talking-about-plfa.md

@@ -0,0 +1,10 @@
+---
+layout : post
+title  : "Talking about PLFA…"
+---
+
+We published a paper about PLFA, which describes our experiences writing the book, and compares it to [Software Foundations][SF], at the [Brazilian Symposium on Formal Methods][SMBF] (SMBF), and published an extended version in the [Science of Computer Programming][SCP] (SCP).
+
+[SBMF]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
+[SCP]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#scp
+[SF]: https://softwarefoundations.cis.upenn.edu/