FixityResolution

Remove operator fixity resolution from the context-free grammar, and specify it separately.

See FixityResolution.

Edited Nov 01, 2019 by Simon Marlow

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