Use cute · syntax in Gcd.lean

Changes

1 changed files (+2/-2)

• Gcd.lean
  • @@ -9,9 +9,9 @@ def N := 1000
    def A := List.range N - def sum := (A.map λ x => (A.map λ y => gcd x y).sum).sum + def sum := (A.map λ x => A.map (gcd x ·) |>.sum).sum - def sumParallel := (Task.mapList List.sum <| A.map λ x => (Task.spawn λ () => (A.map λ y => gcd x y).sum)) |>.get + def sumParallel := (Task.mapList List.sum <| A.map λ x => (Task.spawn λ () => A.map (gcd x ·) |>.sum)) |>.get -- #eval sum -- #eval sumParallel