Open UlfNorell opened 10 years ago
From stevan.a...@gmail.com on December 05, 2013 16:42:22
The attached patch containes the fix and test cases.
Attachment: agda-latex-backend-pattern-synomyms.patch
Original issue: http://code.google.com/p/agda/issues/detail?id=989
From stevan.a...@gmail.com on December 05, 2013 16:42:22
The attached patch containes the fix and test cases.
Attachment: agda-latex-backend-pattern-synomyms.patch
Original issue: http://code.google.com/p/agda/issues/detail?id=989