equational-reasoning
Haskell: Equation Expander 1+(1+(1+(1+(…))))=∞
Does there exist a equation expander for Haskell? Something like foldr.com: 1+(1+(1+(1+(…))))=∞ I am new to Haskell I am having trouble understanding why certain equations are more preferable than[详细]
2023-01-29 14:44 分类:问答