finproof 0.1.0

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

account LoanPayable: liability USD = 100
account OwnerEquity: equity USD = 0

transaction LiabilityEquity {
    debit LoanPayable 50 USD
    credit OwnerEquity 50 USD
}