1熱度
1回答
證明及物哈斯克爾語義
7熱度
3回答
我是否使用關於foldr方面的過濾器定義的聲音等式推理?
列表中的歸納 - 證明更強的屬性(Haskell)
6熱度
2回答
Haskell - 如何轉換地圖總和(地圖(x :) xss)到地圖(x +)(地圖總和xss)
映射嚴格與懶惰函數
如何使用等式推理來證明這個Haskell代碼
3熱度
Haskell - 如何將最大(xs ++ map(x +)xs)轉換爲max(最大xs)(x +最大xs)
爲了證明兩個函數的定義平等電感
2熱度
理解不同foldr相似statments