-
Kim Nguyễn authored
- Simplify the pretty-printing descriptor type - Fix a bug where some unions were shown as intersections - Correctly display parentheses where needed (issue: #17) - Prevent sharing for "small" subtrees (AST less than 6 nodes), so: (Int -> Int) -> Int -> Int is not shown as: X1 -> X1 where X1 = Int -> Int (but bigger types are).
83ef66d7