infer. Universal type inference written in Prolog

github.com/wende/infer
by @wende

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.