3зной
1ответ
Чтобы доказать равенство двух определений функций индуктивно
45зной
1ответ
Если return a = return b, то делает a = b?
2зной
1ответ
сокращение (x + y, xs) и сумма (xs) не эквивалентны в python?
1зной
1ответ
Индукция по спискам - доказательство более сильной собственности (Haskell)
6зной
2ответ
Haskell - Как преобразовать сумму карты (map (x :) xss) для отображения (x +) (сумма карты xss)
1зной
1ответ
Сопоставление строгой и ленивой функции
3зной
2ответ
Haskell - Как преобразовать максимум (xs ++ map (x +) xs) до max (максимум xs) (x + максимум xs)
1зной
1ответ
Доказать транзитивность в Haskell семантике