Anyone know what language is being used in the blogpost?
TLA+ i think
Correct. Also: https://www.learntla.com/
TLA+ i think
Correct. Also: https://www.learntla.com/