欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Paket 是一个 .NET 和 Mono 项目依赖管理工具,使用 F# 语言开发,MIT 许可协议。
Paket和NuGet的关系与区别。
Thespian集群节点
Paket