From 14f18c100c2f8c3ec9c60c14330d926cd2d6f639 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 4 Apr 2022 22:47:56 -0400
Subject: Properly handling variance for arrays to avoid invalid subtyping.

---
 documentation/bookmark/type_theory/unit.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'documentation/bookmark/type_theory')

diff --git a/documentation/bookmark/type_theory/unit.md b/documentation/bookmark/type_theory/unit.md
index cf23e396c..1a82ddf66 100644
--- a/documentation/bookmark/type_theory/unit.md
+++ b/documentation/bookmark/type_theory/unit.md
@@ -1,5 +1,6 @@
 # Reference
 
-1. https://en.wikipedia.org/wiki/Metric_prefix#Metric_units
-1. [unittyped: An extendable library for type-safe computations including units.](https://hackage.haskell.org/package/unittyped)
+0. [mp-units - A Units Library for C++](https://github.com/mpusz/units)
+0. https://en.wikipedia.org/wiki/Metric_prefix#Metric_units
+0. [unittyped: An extendable library for type-safe computations including units.](https://hackage.haskell.org/package/unittyped)
 
-- 
cgit v1.2.3