Pinned Loading

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

   HTML 967 72

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

   Haskell 220 25