在Liquid Haskell中使用类型类细化来验证复制的数据类型
刘以云，詹姆斯·帕克，帕特里克·雷德蒙德，林赛·库珀，迈克尔·希克斯，尼基·瓦祖
概述
这是用于来的构件。 我们提供了一个Dockerfile可用于运行和基准测试样张，以及例子VRDT应用。
建造
首先，克隆仓库：
git clone --recursive https://github.com/plum-umd/oopsla2020-artifact
然后使用以下命令构建docker映像：
docker build --no-cache -t liquid-typeclasses .
这将需要一段时间才能完成。
在哪里找到证明
液基
班级
包含Functor ， Applicative和Monad类定义及其经过验证的版本。
包含Semigroup和Monoid 。
请注意，lambda在改进中没有解释。 为了避免
