finproof 0.1.0

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

currency USD

account Alice: asset USD = 200

transaction SelfTransfer {
    transfer 75 USD
    from Alice
    to Alice
}