.sets is a mathematical intermediate representation of a language type systemCurrently experimenting with non-deterministic transpilation.
First pass will be a core standard for any->.sets, second typescript to .sets.
Follow the experiment here