thesis-submission

Version submitted with my PhD thesis, pending corrections following examination.

esop22-1.0.3

Structure Everything.agda as a table of contents.

esop22-1.0.2

Minor changes to get Zenodo to do the right thing.

esop22-1.0.1

Hopefully this is the final version of the ESOP artefact (after reviews).

esop22-1.0.0

esop22-pub

[ display ] abbreviations of listings