Open UlfNorell opened 10 years ago
From nils.anders.danielsson on June 17, 2013 19:08:32
I often find that Agsy fails to handle things that were handled before. I think there should be an Agsy test suite (under test/interaction).
Original issue: http://code.google.com/p/agda/issues/detail?id=872
From nils.anders.danielsson on September 17, 2013 03:22:51
Status: Accepted
From nils.anders.danielsson on October 30, 2013 03:49:59
Labels: -Milestone-2.3.4
From nils.anders.danielsson on June 17, 2013 19:08:32
I often find that Agsy fails to handle things that were handled before. I think there should be an Agsy test suite (under test/interaction).
Original issue: http://code.google.com/p/agda/issues/detail?id=872