From bd6ff5014b4d9fad6c6fa6ab3a2e30fc768687e1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 29 Nov 2021 16:21:32 -0400
Subject: Ruby compilation that is better adjusted to both normal Ruby and
 MRuby.

---
 documentation/bookmark/type_theory/dependent.md | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/documentation/bookmark/type_theory/dependent.md b/documentation/bookmark/type_theory/dependent.md
index abdc01942..f731e988a 100644
--- a/documentation/bookmark/type_theory/dependent.md
+++ b/documentation/bookmark/type_theory/dependent.md
@@ -1,5 +1,6 @@
 # Exemplar
 
+1. [Mononym: Type-Level Named Values in Rust - Part 1: Demo and Implementation](https://maybevoid.com/blog/mononym-part-1/)
 1. [POMPOM LANGUAGE](https://github.com/caotic123/PomPom-Language)
 1. [A simple type-theoretic language:  Mini-TT](http://www.cse.chalmers.se/~bengt/papers/GKminiTT.pdf)
 1. https://cedille.github.io/
-- 
cgit v1.2.3