编程语言基础：Agda 语言描述

编程语言基础：Agda 语言描述 本书是 Philip Wadler 和 Wen Kokke 所著的《Programming Language Foundations in Agda》的中文翻译。是对编程语言理论的介绍。书中的程序使用证明助理 Agda 编写 || #电子书

Crystal 编程语言中文

快如 C，灵活如 Ruby --- 友情链接 --- Ruby 交流: @ruby_cn Elixir 交流: @elixircn_dev 欢迎大家提问、讨论，另外，也要多在官方社区逛逛。https://forum.crystal-lang.org/