From: lkcl <lkcl@web>
Date: Sat, 1 May 2021 09:35:34 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: DRAFT_SVP64_0_1~1001
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ecdc0cbee7e6713c7a63f8e3c719e19a9139df5;p=libreriscv.git

---

diff --git a/docs.mdwn b/docs.mdwn
index 485663c7e..20d0b3e0e 100644
--- a/docs.mdwn
+++ b/docs.mdwn
@@ -61,3 +61,8 @@ Also relevant is the [gdb gcc build](https://git.libre-soc.org/?p=dev-env-setup.
 ## Formal proof notes
 
 [[docs/notes_on_formal_proofs]]
+
+## Learning nmigen
+
+[[docs/learning_nmigen]]
+