←Backidris-lang/Idris-devArchived0Copy as MarkdownView on GitHub↗3,474 stars·629 forks·Haskell·NOASSERTION·0 viewsidris-lang.org↗Idris DevFeaturesLanguage Interoperability - A dependently typed functional programming language.Official resources - Listed in the “Official resources” section of the Awesome Idris awesome list.