0熱
1答えて
8熱
1答えて
微積分の「Refl」は何ですか?そのような<code>Agda</code>、<code>Idris</code>、またはタイプ拡張子<code>Haskell</code>などの言語で
2熱
1答えて
は `Kを理解する:ナット** 5 * K = N 'シグネチャー
5熱
2答えて
2熱
1答えて
Agda:_≦_(または、バイナリ検索ツリーを実装する方法)を推測する方法
2熱
1答えて
1熱
1答えて
5熱
1答えて
IdrisはAgdaの `_`式と同等のものを持っていますか?
2熱
1答えて
2熱
2答えて