ysharplanguage/System.Language

Hindley-Milner type inference over S-expressions (incl. some support for polymorphic recursion)

C#NOASSERTION