# 四川大学Haskell、函数式编程、与PLT（编程语言理论）交流群 QQ群号：974746130

## 群介绍 本群是地理位置位于四川大学的PLT（编程语言理论）交流群，致力于为大家普及和方便大家讨论以函数式编程为主的编程语言与范式、Lambda演算法、数理逻辑与公理基础、范畴论、类型论、辅助证明与自动推理相关知识。

欢迎大家讨论Haskell、Lisp系语言、ML系语言、Scala语言、Rust语言等函数式编程语言或推崇函数式编程的语言和Agda、Coq、Idris、Lean、Arend等依赖类型辅助证明语言。

PLT国内研究人员较少，大部分大学没有提供系统的课程，因此大家水平有限，请大家友好交流、共同进步。