Yes exactly! There's actually two implementations, one tightly knit to our ledger product located at [1] and the new, standalone one (used by the playground) at

Yes exactly! There's actually two implementations, one tightly knit to our ledger product located at [1] and the new, standalone one (used by the playground) at [2]. In any case, in both implementations, the DSL is indeed MIT. [1] https://github.com/formancehq/stack/tree/main/components/ledger/internal/machine https://github.com/formancehq/stack/tree/main/components/led... [2] https://github.com/formancehq/numscript https://github.com/formancehq/numscript