TTSL A domain-specific language (DSL) to simulate taxes and transfers. This project is based on the TTSL DSL for statically checked Data Science programs.