(no commit message)

diff --git a/docs.mdwn b/docs.mdwn
index 485663c7e0efd00a164923bf00936e357cd4589f..20d0b3e0ecf559b62fac3a00121df735f581be1f 100644 (file)
--- 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]]
+