Agda-zh / PLFA-zhLinks

《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
211Updated this week

Alternatives and similar repositories for PLFA-zh

Users that are interested in PLFA-zh are comparing it to the libraries listed below

Sorting: