search

uwplse / syncro

Synthesis of Incremental Operations
2 stars 1 forks source link

Add define-record as a recognized expression #9

Closed rohinmshah closed 7 years ago

rohinmshah commented 7 years ago

Fixes #8.

Sumith1896 commented 7 years ago

Works for me, +1