yinyang
yinyang copied to clipboard
Sanity check for type-checking on the currently supported logics