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)