From 09a29c952edb851e13edd454bd118c1c1ae83ade Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 25 Nov 2022 01:26:00 -0400
Subject: Added support for saturation arithmetic.

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

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

diff --git a/documentation/bookmark/type_theory/soundness.md b/documentation/bookmark/type_theory/soundness.md
new file mode 100644
index 000000000..1a63d68ad
--- /dev/null
+++ b/documentation/bookmark/type_theory/soundness.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [A Logical Approach to Type Soundness](https://iris-project.org/pdfs/2022-submitted-logical-type-soundness.pdf)
+
-- 
cgit v1.2.3