Helpers.lean « Common - aoc-2023 - Advent of Code 2023 - I'm still learning Lean4, so please don't judge.

summary refs log tree commit diff

path: root/Common/Helpers.lean

blob: f57f826234b8e499006fca12071ed5e705a21c6e (plain) (blame)

1
2

def curry (g : (α × β) → γ) : α → β → γ := λ a b ↦ g (a,b)
def uncurry (f : α → β → γ) : (α × β) → γ := λ (a,b) ↦ f a b