diff --git a/README.md b/README.md
index c05e3399..bb7d7e4f 100644
--- a/README.md
+++ b/README.md
@@ -211,6 +211,8 @@ Read [CONTRIBUTING.md](/CONTRIBUTING.md) to learn how to add your own repos.
 
 *Solutions to AoC in Idris.*
 
+* [xWafl/aoc-2020-idris]
+
 #### J
 
 *Solutions to AoC in J.*