-
Kim Nguyễn authored
Fix various bugs in the pretty-printer (union of atoms not parenthesized, | instead of & for some toplevel variables)
b8e562b5
Fix various bugs in the pretty-printer (union of atoms not parenthesized, | instead of & for some toplevel variables)