Development Log
Mon 07 March 2022 - Hacking the Agda HTML back end
Tue 08 March 2022 - Hacking the Agda HTML back end - part 2