diff --git a/quox.bib b/quox.bib index c2e172d..e8954ed 100644 --- a/quox.bib +++ b/quox.bib @@ -329,6 +329,13 @@ doi = {10.1109/LICS.2000.855774}, } +@misc{ornaments, + author = {Conor {McBride}}, + title = {Ornamental Algebras, Algebraic Ornaments}, + year = {2011}, + url = {https://personal.cis.strath.ac.uk/conor.mcbride/pub/OAAO/LitOrn.pdf}, +} + % Misc implementation