awesomer_
>

joaomilho/awesome-idris

𝛌 Awesome Idris resources

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