3 ms·Simplicity: implementing a smart contract language in 30 lines of Haskell1 points by dynamic 9y ago