Update index.html

dafny-lang · Dec 4, 2023 · c798975 · c798975
1 parent dea10cb
commit c798975
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -1 +1,3 @@
 Index
+
+<a href="Lectures/1-1-Programming-Functional.html">Functional programming</a>