Closed epatters closed 3 months ago
Implement discrete tabulator theories, which are effectively discrete double theories with tabulators, in the core and with Wasm bindings.
The motivation is that stock-flow diagrams are free models of a certain discrete tabulator theory, as explained in the dev docs.
Implement discrete tabulator theories, which are effectively discrete double theories with tabulators, in the core and with Wasm bindings.
The motivation is that stock-flow diagrams are free models of a certain discrete tabulator theory, as explained in the dev docs.