agda/agda — pull request #21 by gallais (2014-11-26 14:32:27+00:00)
Title: [ latex-backend ] Adding AgdaFixityOp

The identifiers whose fixity is being declared are now encapsulated by \AgdaFixityOp{}s.
Corresponding test cases.