From 29922d1411a75f9fb4259d66e427070aae72b3d3 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 12 Aug 2022 17:49:40 -0400
Subject: Fixed test suite.

---
 documentation/bookmark/type_theory/uniqueness.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 documentation/bookmark/type_theory/uniqueness.md

(limited to 'documentation/bookmark/type_theory/uniqueness.md')

diff --git a/documentation/bookmark/type_theory/uniqueness.md b/documentation/bookmark/type_theory/uniqueness.md
new file mode 100644
index 000000000..2e61a37e9
--- /dev/null
+++ b/documentation/bookmark/type_theory/uniqueness.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. []()
+0. [Uniqueness Typing Simplified](https://www.researchgate.net/publication/221600600_Uniqueness_Typing_Simplified)
+
-- 
cgit v1.2.3