6

Agdaでアリティジェネリック関数を書く方法は? 完全に依存し、ユニバースのポリモーフィックなアリティジェネリック関数を書くことは可能ですか?

4

1 に答える 1

7
于 2015-03-21T05:14:33.910 に答える