Allow arr ∧ (first ∨ (***)) as minimal definition of Arrow instance
Add default definitions of
second in terms of
(***) to let one define an
Arrow instance in terms of
(***) rather than
first, which is sometimes more elegant or convenient.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information