GitHub repository: AndrasKovacs/tcbe
Primary language: Haskell
Created: 2016-03-28T13:39:01Z
Description: Type checking by evaluation