feat(#92): widths need not agree for ==, and match arms join on width#95

hyperpolymath merged 1 commit into

mainhyperpolymath/tangle:mainfrom

feat/width-widening-92hyperpolymath/tangle:feat/width-widening-92Copy head branch name to clipboard