欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Language Integrated Query(LINQ) 语言集成查询
LINQ 是一组 .NET Framework 扩展模块集合，内含语言集成查询、集合以及转换操作。它使用查询的本机语言语法来扩展 C# 和 Visual Basic，并提供利用这些功能的类库。
