Skip to content

Missing parentheses when pretty-printing multiplicity

f = id :: a %(m n) -> a

gives

    • Couldn't match type ‘'Many’ with ‘m1 n1’
      Expected: a1 %m1 n1 -> a1

This should be a %(m1 n1) -> a1.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information