Shopify went back to native. I think the bigger shift is formal verification

1 points | by ymolodtsov 7 hours ago