From 8f26f5c97ed90a7f69fe8cc5654a84aaed066b5a Mon Sep 17 00:00:00 2001 From: Viktor Pavlov Date: Wed, 28 Dec 2022 23:04:07 +0200 Subject: [PATCH] add Idris repo --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index f3ed4da8..a0543690 100644 --- a/README.md +++ b/README.md @@ -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.*