GitHub repository: treeowl/Idris-dev
Primary language: Haskell
Created: 2015-04-01T02:33:46Z
Description: A Dependently Typed Functional Programming Language