形式化以及函数式编程

这个分区用于函数式编程以及形式化的研究笔记存储。