GitHub repository: yubrot/titan
Primary language: Haskell
Created: 2019-05-26T14:19:13Z
Description: An experimental type checker implementation