4 ms·Michelson:a Statically Typed Stack Based Language for Smart-Contracts[video]1 points by infruset 10y ago