Add List types to Syncro, and add an example inspired by Skosette. - Githubissues

uwplse / syncro

Synthesis of Incremental Operations

2 stars 1 forks source link

Add List types to Syncro, and add an example inspired by Skosette. #25

Closed rohinmshah closed 6 years ago