engboris/stellogen

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