search

robrix / path

A lambda calculus to explore type-directed program synthesis.
BSD 3-Clause "New" or "Revised" License
84 stars 2 forks source link

Modular syntax #104

Closed robrix closed 5 years ago

robrix commented 5 years ago

This PR tidies up a bunch of the stuff around syntax, simplifying a bunch of operations and interfaces along the way.