Teal – A statically-typed dialect of Lua

There is another TEAL (uppercase) programming language: <https://developer.algorand.org/docs/get-details/dapps/avm/te...>

I vote we give the name to the lua one!

Seconded.

I think you and GP both mean that this TEAL is adjacent to crptocurrency, and therefore, who cares about stepping on toes?

This heuristic works well in most cases maybe, but will lead to false positives sometimes. May I gently suggest that this might be one of those cases. Algorand is the project of this fellow

https://en.m.wikipedia.org/wiki/Silvio_Micali

Credentials aren't faultless but they do provide a certain web of trust. If you browse the academic and professional history of this fellow, I think you'll agree.

Algorand is, I think, as serious and sincere a research project as any other.

I meant that I have a sort of affection for Lua, so it gets preferential treatment in my book, and therefore Teal ought to get the name above another relatively random project with the same name.