awesomer_
>

joaomilho/awesome-idris

𝛌 Awesome Idris resources

[view on github]last commit: Feb 20, 2020
stars
410
7d
-
30d
-
90d
-
## star history
## found in
awesome/Programming Languages