灰狐资本

灰狐资本

简介

灰狐资本（Huihoo Capital）

基础

• Open Provable Foundation
• Huihoo Network
• 灰狐量子实验室

技术

• Why should Huihoo use Lisp, Haskell and OCaml.
• Proof assistant
• Haskell ecosystem
• OCaml ecosystem
• Lisp ecosystem
• Financial technology

链接

• CapitalG（原名Google Capital）
• Why should I learn Haskell, OCaml or Lisp?