6

如何在 Agda 中编写 arity-generic 函数？是否可以编写完全依赖和全域多态的arity-generic 函数？

4

1 回答 1

7
于 2015-03-21T05:14:33.910 回答