search

jcreedcmu / twelf-mac

Other
0 stars 1 forks source link

Implement cancellation for twelf execution #36

Open jcreedcmu opened 4 months ago

jcreedcmu commented 4 months ago

Needed for https://github.com/jcreedcmu/twelf-mac/issues/21