finproof 0.1.0

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

account Cash: asset USD = 0
account SalesRevenue: revenue USD = 0

transaction CurrencyMismatch {
    debit Cash 100 EUR
    credit SalesRevenue 100 EUR
}