Fixed sectioning of section-intro-background.md
Structure upto section-piware
Final section with skeleton
non-breakable space before citations
Agda code from lagda file about termination checking
Makefile expressing dependency on agda.sty
Agda math font without size alterations, just as default