1 min readAug 20, 2019
Just a bit of a nit-pick — depending on your meaning Plutus isn’t the only ‘formally verified, functional and typed smart contract language’. There is also Michaelson (Tezos) and Scilla (Zilliqa).
Written by Starling Foundries
Errant scientist with solutions looking for problems. I like blockchains and geoscience the most.