From 3f3079c48d2a5c60e048dc589f61b88cad860dc9 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 1 Apr 2023 22:33:40 +0200
Subject: [PATCH] bib: crude but effective stratification

---
 quox.bib | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/quox.bib b/quox.bib
index f46e25d..5ff3784 100644
--- a/quox.bib
+++ b/quox.bib
@@ -196,6 +196,13 @@
     reasoning, recurrence relations, modal type theory}
 }
 
+@misc{crude,
+  author = {McBride, Conor},
+  title  = {Crude but effective stratification},
+  url    = {https://personal.cis.strath.ac.uk/conor.mcbride/Crude.pdf},
+  note   = {slides}
+}
+
 @article{mugen,
   author = {Hou (Favonia), Kuen-Bang and Angiuli, Carlo and Mullanix, Reed},
   title = {An Order-Theoretic Analysis of Universe Polymorphism},