search

CozySynthesizer / cozy

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

Pretty printer should emit SDecl with "let" syntax #26

Closed seizethedave closed 6 years ago

seizethedave commented 6 years ago

as opposed to "var", to match the spec language.