GitHub repository: ollef/sixty
Primary language: Haskell
Created: 2019-04-27T21:22:21Z
Description: Dependent type checker using normalisation by evaluation