add Idris repo

This commit is contained in:
Viktor Pavlov committed 2022-12-28 23:04:07 +02:00
1 parent a4f332918e
commit 8f26f5c97e
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.*