Open danilopedraza opened 1 week ago
I need to improve the matcher. Currently thinking of:
let numer(a // _) := a
let pair({a, b}) := (a, b)
cons
let some({val|_}) := val
I need to improve the matcher. Currently thinking of:
let numer(a // _) := alet pair({a, b}) := (a, b)consover sets?let some({val|_}) := val