Agda decision procedure for CaseOfCase translations

Question

ramsay-t opened this issue a month ago · comments