GitHub repository: shayan-najd/Idris-dev
Primary language: Haskell
Description: A Dependently Typed Functional Programming Language