From 5982dbc146d82a3065281e004919ee0e43b0a2f0 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 26 Aug 2021 17:38:58 +0200 Subject: [PATCH] Update README.md --- src/runtime/c/doc/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/src/runtime/c/doc/README.md b/src/runtime/c/doc/README.md index 3839f1e04..7c11b755c 100644 --- a/src/runtime/c/doc/README.md +++ b/src/runtime/c/doc/README.md @@ -11,3 +11,4 @@ So, **Don't Panic!** and keep reading. This is a live document and will develop 1. [Desiderata](DESIDERATA.md) 2. [Memory Model](memory_model.md) +3. [Abstract Expressions](abstract_expressions.md)