快速检查CCodeViaHaskell

通过Haskell快速检查C代码

构建一个可以用于根据Haskell规范快速检查C代码的工具。使用它来测试C中的开源库，例如数据结构、图像处理、压缩、加密等。

背景：简介。FP，数据结构，C；（最好）AFP、程序验证。人数: 2.联系人：科恩