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

Implicitly bind evaluated results to “it” #82

Open robrix opened 5 years ago

robrix commented 5 years ago

This will only apply to the Eval command, but it’ll let us review the most recent result if so desired.