docs: hook in new Haskell assertions doc

Signed-Off-By: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Jun 7, 2021 · 59973b5 · 59973b5
1 parent ec016bb
commit 59973b5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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