Mirrors/awesome
2
0
Fork 0
mirror of https://github.com/sindresorhus/awesome synced 2024-11-23 04:23:14 +00:00
Code Issues Projects Releases Packages Wiki Activity

Add Idris (#1047)

Browse source
This commit is contained in:
Juan Lulkin 2017-10-30 09:40:05 +01:00 committed by Sindre Sorhus
parent 20bde97389
commit adfc2063f4
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
readme.md
View file

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