ndwarshuis
/
pwncash
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ADD amount type exports

This commit is contained in:
Nathan Dwarshuis 2023-01-29 18:14:00 -05:00
parent ac1f29cb61
commit a6d9f959f1
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dhall/Types.dhall
View File

@ -257,4 +257,6 @@ in { CurID
, Allocation , Allocation
, PreAllocation , PreAllocation
, PostAllocation , PostAllocation
, Amount
, TimeAmount
} }

2
dhall/common.dhall
View File

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