engboris/transcendental-syntax

An experimental language exploring computation and meaning through term unification, with logic-agnostic types.

81 best points · 34 comments · 1 Hacker News post · 138 GitHub stars · View on GitHub

Hacker News discussions