This commit is contained in:
Nathan Dwarshuis 2023-01-30 21:56:25 -05:00
parent 5059c318ef
commit 373f1c97ea
2 changed files with 2 additions and 2 deletions

View File

@ -210,7 +210,7 @@ let Transfer =
, transCurrency : CurID , transCurrency : CurID
} }
let Budget = { income : List Income, expenses : List Transfer } let Budget = { income : List Income, transfers : List Transfer }
in { CurID in { CurID
, AcntID , AcntID

View File

@ -4,7 +4,7 @@ let List/map =
let T = let T =
./Types.dhall ./Types.dhall
sha256:594817d5fd653b122372ca77a705effe76cbfdd774a6402142a0ff698475e77a sha256:8aa818fc10bf9468f39cb4fdfc9e05d37fa7ffb6060b1c6e1f420ba61f113a1e
let nullSplit = let nullSplit =
\(a : T.SplitAcnt) -> \(a : T.SplitAcnt) ->