Merge pull request #13 from rmatthes/docforsyntaxwithactegories

info in README.md that the CPP'22 doc is still necessary
UniMath · Feb 15, 2023 · 13bee46 · 13bee46
2 parents 6e3351a + 0894d12
commit 13bee46
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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
 ===========================