Loading list.disco...
map : Set(ℕ × a) → Map(ℕ, a)
map({(1, 3), (4, 6)}) : Map(ℕ, ℕ)
map({(1, 3), (4, 6)})
insert : ℕ × a × Map(ℕ, a) → Map(ℕ, a)
map({}) : Map(ℕ, a)
map({})
insert(1, 3, insert(4, 6, map({}))) : Map(ℕ, ℕ)
map({(1, 3), (4, 6)})
map({(1, 3)})
lookup : ℕ × Map(ℕ, a) → Unit + a
right(3)
right(6)
left(■)
map({(1, "hello"), (3, "there"), (4, "you")})
map({(1, 3)})
insert(1, {"hi", "there"}, insert(2, {}, insert(4, {"why", "not", "now"}, insert(2, {"blah"}, map({}))))) : Map(ℕ, Set(List(Char)))
map({(1, {"hi", "there"}), (2, {}), (4, {"not", "now", "why"})})
map({(1, "A")})
map({(1, "B")})
map({("hi", 1), ("there", 2)})
{}
{("hi", 1), ("there", 2)}
