GitHub repository: typedefs/typedefs
Primary language: Idris
Created: 2017-10-09T16:44:56Z
Description: Programming language agnostic type construction language based on polynomials.