From adfc2063f43ab6cc1159801753afb69270e9e099 Mon Sep 17 00:00:00 2001 From: Juan Lulkin Date: Mon, 30 Oct 2017 09:40:05 +0100 Subject: [PATCH] Add Idris (#1047) --- readme.md | 1 + 1 file changed, 1 insertion(+) diff --git a/readme.md b/readme.md index b78e0ae..a229ecc 100644 --- a/readme.md +++ b/readme.md @@ -166,6 +166,7 @@ - [CMake](https://github.com/onqtam/awesome-cmake) - Build, test, and package software. - [ActionScript 3](https://github.com/robinrodricks/awesome-actionscript3) - Object-oriented language targeting Adobe AIR. - [Eta](https://github.com/sfischer13/awesome-eta) - Functional programming language for the JVM. +- [Idris](https://github.com/joaomilho/awesome-idris) - General purpose pure functional programming language with dependent types influenced by Haskell and ML. ## Front-End Development