项目描述 ：
Source code & exercises in Arend's documentation

高级语言：

项目主页： https://arend-lang.github.io/documentation/tutorial

项目地址: git://github.com/arend-lang/tutorial-code.git

创建时间： 2020-01-18T17:25:38Z
项目社区：https://github.com/arend-lang/tutorial-code
开源协议：Apache License 2.0
下载