From 878eaa4be5d639065038f2b70fcc143c3276112d Mon Sep 17 00:00:00 2001 From: Dmitry Malikov Date: Sat, 8 Dec 2018 23:32:11 +0100 Subject: [PATCH] Idris time! --- README.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/README.md b/README.md index ed4e3d0f..ca9e96d9 100644 --- a/README.md +++ b/README.md @@ -25,6 +25,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) @@ -198,6 +199,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.*