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

github.com/ysharplanguage/System.Language

Problem

Audience

Updates

No founder updates yet. Check back soon.