search

hazelgrove / hazelnut-popl17

Submission to POPL 2017
2 stars 1 forks source link

add note about omitting triangles in HZ #24

Closed cyrus- closed 7 years ago