Add my Idris repo

This commit is contained in:
xWafl authored and GitHub committed 2020-12-01 07:17:59 -05:00
1 parent a45738b01d
commit 2a246e0211
1 file changed
+2
+2
View File
@@ -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.*