Adds Idris awesome list

This commit is contained in:
Juan Lulkin 2017-07-31 10:26:50 +02:00 committed by GitHub
parent 44b9c7711a
commit 546315c8bf

View File

@ -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