/inference-playground

Implementing and combining various type systems with principal type schemes

Primary LanguageC#

No issues in this repository yet.