cyrus-/tydy

A fragmentary bidirectional type system as a Python library

13 best points · 4 comments · 1 Hacker News post · 53 GitHub stars · View on GitHub

Hacker News discussions

• “tydy” is a functional programming language implementation as a Python library (13 points, 4 comments, by josch, 2016-09-12)