Closed UlfNorell closed 10 years ago
From andres.s...@gmail.com on September 16, 2013 13:20:56
What the subject says.
Could someone apply the patch, please.
Attachment: hashable-1.2.1.0.dpatch
Original issue: http://code.google.com/p/agda/issues/detail?id=900
From nils.anders.danielsson on September 17, 2013 02:37:36
Status: Fixed
From andres.s...@gmail.com on November 11, 2013 06:26:13
Labels: Type-Enhancement
From andres.s...@gmail.com on September 16, 2013 13:20:56
What the subject says.
Could someone apply the patch, please.
Attachment: hashable-1.2.1.0.dpatch
Original issue: http://code.google.com/p/agda/issues/detail?id=900