search

jcreedcmu / twelf-mac

Other
0 stars 1 forks source link

Implement cancellation for twelf evaluation #37

Closed jcreedcmu closed 4 months ago

jcreedcmu commented 4 months ago

Resolves #36.