Closed UlfNorell closed 10 years ago
From sanzhi...@gmail.com on October 04, 2013 10:15:55
What's the problem? Cut-and-pasted program examples are preferred over attachments (if reasonably short). What version of Agda are you using? On what operating system (if relevant)?
Original issue: http://code.google.com/p/agda/issues/detail?id=914
From sanzhi...@gmail.com on October 04, 2013 01:17:59
Sorry, I missclicked and the issue got sent too soon.
From nils.anders.danielsson on October 04, 2013 01:56:08
Status: Invalid
From sanzhi...@gmail.com on October 04, 2013 10:15:55
What's the problem? Cut-and-pasted program examples are preferred over attachments (if reasonably short). What version of Agda are you using? On what operating system (if relevant)?
Original issue: http://code.google.com/p/agda/issues/detail?id=914