From 2bb82f29d8e2dad86bbb6e8cf918be2595543892 Mon Sep 17 00:00:00 2001
From: "David A. Wheeler" <dwheeler@dwheeler.com>
Date: Sun, 16 Jul 2023 18:06:29 -0400
Subject: [PATCH] Add hyperlink to Metamath-lamp videos

Signed-off-by: David A. Wheeler <dwheeler@dwheeler.com>
---
 index.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/index.html b/index.html
index 2702097..2757fc9 100644
--- a/index.html
+++ b/index.html
@@ -425,6 +425,8 @@
 >Metamath-lamp application page</A>.
 You can learn to use metamath-lamp from the extensive
 <A HREF="https://lamp-guide.metamath.org/">Metamath-lamp Guide</A>
+or the
+<A HREF="https://www.youtube.com/playlist?list=PL1jSu6GGefBk3RhHW5Srpc2qxWMqhga9J">Introduction to Metamath-lamp videos</a>
 by David A. Wheeler.
 Software developers may want to see the
 <A HREF="https://github.com/expln/metamath-lamp"