diff --git a/README.md b/README.md index b5396300..03825266 100644 --- a/README.md +++ b/README.md @@ -26,6 +26,7 @@ This is a collection of awesome resources related to the yearly * [Go](#go) * [Groovy](#groovy) * [Haskell](#haskell) + * [Idris](#idris) * [Java](#java) * [JavaScript](#javascript) * [Kotlin](#kotlin) @@ -217,6 +218,12 @@ in your favourite language.* * [nerdopoly/aoc-2018](https://github.com/nerdopoly/aoc-2018) ![Last Commit on GitHub](https://img.shields.io/github/last-commit/nerdopoly/aoc-2018.svg) * [tfausak/advent-of-code](https://github.com/tfausak/advent-of-code) ![Last Commit on GitHub](https://img.shields.io/github/last-commit/tfausak/advent-of-code.svg) +#### Idris + +*Solutions to AoC in Idris.* + +* [dmalikov/advent-of-shame-2018](https://github.com/dmalikov/advent-of-shame-2018) ![Last Commit on GitHub](https://img.shields.io/github/last-commit/dmalikov/advent-of-shame-2018.svg) + #### Java *Solutions to AoC in Java.*