From 2a246e0211783825ceb8d1453fb3d59d2552ad16 Mon Sep 17 00:00:00 2001
From: xWafl <35458851+xWafl@users.noreply.github.com>
Date: Tue, 1 Dec 2020 07:17:59 -0500
Subject: [PATCH] Add my Idris repo

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

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.*