/Featherweight-Java

An attempt to implement the typing rules of Featherweight Java using Haskell.

Primary LanguageHaskell

No issues in this repository yet.