search

CozySynthesizer / cozy

The collection synthesizer
https://cozy.uwplse.org
Apache License 2.0
209 stars 18 forks source link

Let expressions #40

Closed Calvin-L closed 6 years ago

Calvin-L commented 6 years ago

Fixes and code to let Cozy synthesize expressions containing let-expressions.

Calvin-L commented 6 years ago

This PR addresses #38 entirely.