commit adfc20

2017-10-30 09:40:05 Juan Lulkin: Add Idris (#1047)

0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9

`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