欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell

以下页面链接至Haskell：

• 开放服务联盟 ‎ (←链入页面)
• Mastodon ‎ (←链入页面)
• Haskell ecosystem ‎ (←链入页面)
• Elm ‎ (←链入页面)
• Cardano ‎ (←链入页面)
• Haskell Desktop Foundation ‎ (←链入页面)
• Carp ‎ (←链入页面)
• IHP ‎ (←链入页面)
• PureScript ‎ (←链入页面)
• Xmonad ‎ (←链入页面)
• Coq ‎ (←链入页面)
• Haskell Web Foundation ‎ (←链入页面)
• Formal verification ‎ (←链入页面)
• Idris ‎ (←链入页面)
• SuperCollider ‎ (←链入页面)
• Lisp ecosystem ‎ (←链入页面)
• Isabelle ‎ (←链入页面)
• Open Provable Foundation ‎ (←链入页面)
• Lean ‎ (←链入页面)
• Hardware description language ‎ (←链入页面)
• Formal mathematics ‎ (←链入页面)