3
4

2 回答 2

3
于 2013-04-24T03:27:36.327 回答
1

It seems an Agda bug to me. You can report the bug in http://code.google.com/p/agda/issues/list.

于 2013-04-23T16:26:42.007 回答