combinatory-types. Type inference for SK-combinators

github.com/barry-jay-personal/combinatory-types
by @barry-jay-personal

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.