GitHub repository: profbrandon/typeChecker
Primary language: Haskell
Created: 2017-07-11T16:02:27Z
Description: A repository dedicated to the derivation and implementation of type systems.  Current system:  System F