/typeChecker

A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F

Primary LanguageHaskell

No issues in this repository yet.