3 ms·
Does aliasing the types work? def MemoMap := HashMap Nat Nat def MemoResult := Nat × MemoMap let rec helperMemo : Nat → MemoMap → MemoResult
by westurner 1y ago
Does aliasing the types work?
def MemoMap := HashMap Nat Nat
def MemoResult := Nat × MemoMap
let rec helperMemo : Nat → MemoMap → MemoResult
- tossandthrow 1y agoRecord types would likely help a lot also. Tupples don't really indicate what I can expect from the members.