本文是作者在 FLOPS 2022 会议上的演讲，重点分享了使用Liquid Haskell语言集成验证系统来构建可靠的分布式系统的有趣的探索经历。早上好，FLOPS！我是 Lindsey Kuper...