类型系统中的反例

该仓库包含了类型系统中的反例]的源代码，这是一本汇集了那些会崩溃、产生段错误或其他异常行为的糟糕程序的合集。

构建

在本地使用make进行构建（前提是你的 Linux 系统与我的类似）。

本书是使用mdbook]和KaTeX]构建的。