GitHub repository: ziman/idris
Primary language: Haskell
Description: A Dependently Typed Functional Programming Language