Abstract: remove the parentheses, which don't fit well in an abstract, and add a comma. - Githubissues

hazelgrove / hazelnut-popl17

Submission to POPL 2017

2 stars 1 forks source link

Abstract: remove the parentheses, which don't fit well in an abstract, and add a comma. #19

Closed cyrus- closed 7 years ago

cyrus- commented 7 years ago

^ comment from JA