feature/transaction-semantic
The advantages of Dok transaction semantic are:
- FP like, i.e. no side effects
- imperative like when useful
- logic programming like when needed, because it supports choice-like instructions
The advantages of Dok transaction semantic are: