search

robrix / path

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

De Bruijn indices #89

Closed robrix closed 5 years ago

robrix commented 5 years ago

This PR uses de Bruijn indices for core terms and values, and migrates to a hierarchical representation of names à la I Am Not a Number—I Am a Free Variable.

robrix commented 5 years ago

@rewinfrey: This is the PR I was talking about where I’m migrating to using de Bruijn indices.