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

Solver #106

Open robrix opened 4 years ago

robrix commented 4 years ago

This PR defines a constraint solver, mapping Term (Problem :+: Core) a to Term Core a or an error.