| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Original HTTPS Page] |
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
Forked from idris-lang/Idris-dev
用作文档目的,翻译方式见 Issue #10
| Back | FazBrowse Home | New Git URL |