GitHub repository: wu-sudo/cpl-docs
Description: Docs on CPL (Lectures on CPL at software.nju.edu.cn)