From 59973b553d54ab95879538295ae46bca69c95793 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 7 Jun 2021 11:03:26 +1000 Subject: [PATCH] docs: hook in new Haskell assertions doc Signed-Off-By: Gerwin Klein --- docs/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/README.md b/docs/README.md index 067698521f..bf3b4d77f2 100644 --- a/docs/README.md +++ b/docs/README.md @@ -23,6 +23,7 @@ Current topics are: - [De-duplicating proofs](de-duplicating-proofs.md) - [Compacting proofs](compacting-proofs.md) - [Architecture Split](arch-split.md) Why and How-To +- [Haskell Assertions](haskell-assertions.md): how to use assertions in Haskell to use information from AInvs on Haskell and C levels ## Plans