网络IT·技术
该在线书籍介绍如何利用Agda证明助手学习编程语言理论，提供开源代码仓库及习题解答资源供读者参考。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。