编程语言基础：Agda语言描述本书是PhilipWadler和WenKokke所著的《ProgrammingLanguageFoundationsinAgda》的中文翻译。是对编程语言理论的介绍。书中的程序使用证明助理Agda编写#电子书
None
在Telegram中查看相关推荐
🔍 发送关键词来寻找群组、频道或视频。
启动SOSO机器人
None
在Telegram中查看
🔍 发送关键词来寻找群组、频道或视频。
启动SOSO机器人