From 0894d12934f2c0b3ecb32f398301df3f7e8d21bd Mon Sep 17 00:00:00 2001 From: Ralph Matthes Date: Wed, 15 Feb 2023 16:33:07 +0100 Subject: [PATCH] info in README.md that the CPP'22 doc is still necessary --- doc/UniMath/README.md | 2 ++ 1 file changed, 2 insertions(+) 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 ===========================