Index: doc/theses/mike_brooks_MMath/uw-ethesis.bib
===================================================================
--- doc/theses/mike_brooks_MMath/uw-ethesis.bib	(revision 8d049ad827684a5a41bba44ace1ba624c66e7563)
+++ doc/theses/mike_brooks_MMath/uw-ethesis.bib	(revision b66a2988210197466a5a4376e8548cf3dcb6b0f9)
@@ -149,2 +149,12 @@
     howpublished= {\url{https://sigcpp.github.io/2020/06/08/return-value-optimization}},
 }
+
+@misc{DependentType,
+    contributer	= {pabuhr@plg},
+    title	= {Dependent Type},
+    author	= {HaskellWik},
+    year	= 2021,
+    month	= apr,
+    howpublished= {\url{https://wiki.haskell.org/Dependent_type}},
+}
+