Closed UlfNorell closed 10 years ago
From andres.s...@gmail.com on December 11, 2013 17:33:01
What the summary says.
Attachment: text-1.0.dpatch
Original issue: http://code.google.com/p/agda/issues/detail?id=996
From ulf.nor...@gmail.com on December 11, 2013 11:18:31
Pushed
Status: Fixed
From andres.s...@gmail.com on December 11, 2013 17:33:01
What the summary says.
Attachment: text-1.0.dpatch
Original issue: http://code.google.com/p/agda/issues/detail?id=996