robertkleffner / inference-playground

Implementing and combining various type systems with principal type schemes

units-of-measure unification abelian-groups type-inference

This repository is not active

About

Implementing and combining various type systems with principal type schemes

units-of-measure unification abelian-groups type-inference

Languages

Language:C# 93.3%Language:F# 6.7%