Pinned Loading

1. Coq-zh/SF-zh Coq-zh/SF-zh Public

   《软件基础》中译版 Software Foundations Chinese Translation

   HTML 960 70

2. Agda-zh/PLFA-zh Agda-zh/PLFA-zh Public

   《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

   Haskell 219 25

3. Lean-zh/fp-lean-zh Lean-zh/fp-lean-zh Public

   Lean 函数式编程

   Lean 43 14

4. Lean-zh/tp-lean-zh Lean-zh/tp-lean-zh Public

   Lean 定理证明

   Lean 22 10

5. Idris-zh/Idris-dev Idris-zh/Idris-dev Public

   Forked from idris-lang/Idris-dev

   用作文档目的，翻译方式见 Issue #10

   Haskell 41 3

6. Go-zh/tour Go-zh/tour Public archive

   【已弃用】新版移至 website 代码仓库

   Go 1.5k 219