amdorsey12
Results
1
issues of
amdorsey12
Given a program with empty sorts, such as: ``` sorts #booleans = {true, false}. #garage = {r2}. #john = {r1}. #football = {r3}. #activity = {}. #carry = {}. ```...