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