Closed UlfNorell closed 10 years ago
From andreas....@gmail.com on November 06, 2013 23:22:00
They should get some nice pink color like the projection declarations in a record.
Original issue: http://code.google.com/p/agda/issues/detail?id=943
From andreas....@gmail.com on November 07, 2013 08:44:13
Thu Nov 7 17:30:35 CET 2013 Andreas Abel andreas.abel@ifi.lmu.de
Status: Fixed
From andreas....@gmail.com on November 06, 2013 23:22:00
They should get some nice pink color like the projection declarations in a record.
Original issue: http://code.google.com/p/agda/issues/detail?id=943