Format code blocks.
Add reference lists for markdown.
Revise research page and project list.
Tweak heading sizes.
Fix link.
Typo.
Add anchors to pub blocks.
Add text to choice calculus project page.
Text for semantics first project page.
Add missing paper PDFs.
Add PatternGuards pragma.
Tweak legal text.
Cabalize.