Isabelle中的等价Haskell列表理解
在以下方面：Isabelle中的等价Haskell列表理解,isabelle,Isabelle,在以下方面： （i，1）|i (i, 1) | i <- [7,7,7,8,8,8,2,2,1,1] [(i, 1) . i <- [7,7,7,8,8,8,2,2,1,1]] map (λi. (i, 1)) [7, 7, 7, 8, 8, 8, 2, 2, 1, 1]
（i，1）|i
(i, 1) | i <- [7,7,7,8,8,8,2,2,1,1]
[(i, 1) . i <- [7,7,7,8,8,8,2,2,1,1]]
map (λi. (i, 1)) [7, 7, 7, 8, 8, 8, 2, 2, 1, 1]