8熱
1答えて
微積分の「Refl」は何ですか?そのような<code>Agda</code>、<code>Idris</code>、またはタイプ拡張子<code>Haskell</code>などの言語で