A prototypical dependently typed languages with sized types and variances
Primary LanguageHaskellMIT LicenseMIT