From a437f00f365caef15870127d520b0c233af5daaf Mon Sep 17 00:00:00 2001
From: Ilmari Vacklin <ilmari.vacklin@iki.fi>
Date: Tue, 7 Dec 2021 09:50:31 +0200
Subject: [PATCH] Add a link to the module to index

---
 index.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/index.md b/index.md
index bd0f30b..dde1cae 100644
--- a/index.md
+++ b/index.md
@@ -3,3 +3,5 @@ title: Agda template
 ---
 
 Add some content here.
+
+- [AgdaTemplate](./AgdaTemplate.html)