Fixities for Relation and Algebra#1992

MatthewDaggitt merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

Saransh-cpp:fixity-take-4Saransh-cpp/agda-stdlib:fixity-take-4Copy head branch name to clipboard