just mildly interesting
- Go to TML playground: https://tml.klapka.cz/
- Click "Transitive closure" and tick "Show Steps" below.
- Run.
- Check out the output at the final step.
- Go to https://github.com/IDNI/tau and read the sections on recursion and transitive closure (compare observations at point 4).