Closed rokopt closed 1 year ago
Add some more tests and remove some verbose output from tests of STLC -> CCC translation.
Add some more tests and remove some verbose output from tests of STLC -> CCC translation.