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

Type checking through unification #95

Closed robrix closed 5 years ago

robrix commented 5 years ago

This PR attempts to implement typechecking & elaboration through unification, much like the paper of the same name does.

robrix commented 5 years ago

This is hella stale.