finproof 0.1.0

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

account Cash: asset USD = 100

transaction UnknownDebit {
    debit UnknownAccount 40 USD
    credit Cash 40 USD
}