From 546315c8bfd0cb4b7951208b903e67aa2dd38fad Mon Sep 17 00:00:00 2001 From: Juan Lulkin Date: Mon, 31 Jul 2017 10:26:50 +0200 Subject: [PATCH] Adds Idris awesome list --- readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/readme.md b/readme.md index 2eaf933..ec298d1 100644 --- a/readme.md +++ b/readme.md @@ -158,7 +158,7 @@ - [Frege](https://github.com/sfischer13/awesome-frege) - Haskell for the JVM. - [CMake](https://github.com/onqtam/awesome-cmake) - Build, test, and package software. - [ActionScript 3](https://github.com/hgupta9/awesome-actionscript3/) - Object-oriented language targeting Adobe AIR. - +- [Idris](https://github.com/joaomilho/awesome-idris) ## Front-End Development