Comment by rauljara

7 hours ago

Anyone know what language is being used in the blogpost?

2 comments

rauljara

Reply

nonethewiser 7 hours ago

TLA+ i think

grg0 5 hours ago

Correct. Also: https://www.learntla.com/