テスト前なので、逃避にCoPL(http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/CoPL/index.cgi)やら、Anarchy Proofやらばっかりやってます。今回の問題は、いわゆる鳩ノ巣原理ですね。 自然数のリストxsがあって、length xs xsについて帰納法+ xsがnilでない…