1熱
3答えて
4熱
3答えて
2熱
1答えて
0熱
1答えて
4熱
1答えて
なぜ "mod"に関連する等価性がIdrisでタイプチェックでないのですか?
2熱
1答えて
IdrisがData.Vectの引数をsizeとitem-typeの順に並べるのはなぜですか?
3熱
2答えて
Idrisでは、自身の型のブール不等式が無人であることを証明する方法は?
2熱
2答えて
Idrisでは、どのようにしてSo型から証明を抽出しますか?
2熱
1答えて
1熱
1答えて