From 2ecdc0cbee7e6713c7a63f8e3c719e19a9139df5 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sat, 1 May 2021 10:35:34 +0100
Subject: [PATCH]

---
 docs.mdwn | 5 +++++
 1 file changed, 5 insertions(+)

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]]
+
-- 
2.30.2