ityonemo/mavis

check to make sure that union comparisons are correct for two unions with the same head.

Closed this issue · 1 comments

ityonemo commented
check to make sure that union comparisons are correct for two unions with the same head.
ityonemo commented

completed in 8693fda