Add a link to the module to index

wolverian · Dec 7, 2021 · a437f00 · a437f00
1 parent df6bd34
commit a437f00
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/index.md b/index.md
@@ -3,3 +3,5 @@ title: Agda template
 ---
 
 Add some content here.
+
+- [AgdaTemplate](./AgdaTemplate.html)