[heynk]

(Shameless plug, I work at Blockstack)

Blockstack is working on a new version of our blockchain with smart contracting capabilities. We've created a new language, called Clarity, for smart contract development on our platform. It's lisp-based and is _not_ Turing complete. We believe that decidability is quite important for smart contracts. Algorand has joined our efforts, and they will support Clarity on their blockchain.

I am not involved with the development of Clarity, but I really enjoy writing smart contracts with it!

https://clarity-lang.org

Web-based REPL: https://clarity.tools/

[iso8859-1]

You are not explaining the relevance to the article, you're just pushing your agenda.

[heynk]

Understandable - my point is that it's a turing incomplete language.