diff --git a/doc/UniMath/README.md b/doc/UniMath/README.md
index 80baac9..50b8580 100644
--- a/doc/UniMath/README.md
+++ b/doc/UniMath/README.md
@@ -3,6 +3,8 @@ Versions needed permanently
 
 4dd5c17: Displayed categories, https://arxiv.org/abs/1705.04296
 
+c26d11b: Implementing a Category-Theoretic Framework for Typed Abstract Syntax, https://dx.doi.org/10.1145/3497775.3503678
+
 Versions needed temporarily
 ===========================