Would it be reasonable to follow the example below from David Patterson as a guide? https://dbp.io/essays/2013-05-21-literate-urweb-adventure.html ### -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.impredicative.com/pipermail/ur/attachments/20150801/ce2061e1/attachment.html>