Merge pull request #1568 from daysleeperx/master

Add Idris AOC repo
This commit is contained in:
Bogdan Popa authored and GitHub committed 2022-12-29 10:09:37 +02:00
commit 3fa6dd5d9f
1 file changed
+2
+2
View File
@@ -440,6 +440,8 @@ Read [CONTRIBUTING.md](/.github/CONTRIBUTING.md) to learn how to add your own re
*Solutions to AoC in Idris.*
* [daysleeperx/Advent-Of-Code-2022]
#### J
*Solutions to AoC in J.*