finproof 0.1.0

Deterministic financial programming language and verification engine.
1
2
3
4
5
6
7
8
9
10
11
currency USD

account Cash: asset USD = 100
account Payable: liability USD = 100
account OwnerEquity: equity USD = 100

transaction ReduceBalances {
    debit Payable 50 USD
    debit OwnerEquity 50 USD
    credit Cash 100 USD
}