阿格达维基

Getting开始

安装Agda在您自己的电脑上，或使用Agda Pad公司.
让你的脚沾湿尝一尝阿格达.
阅读其中一个语言教程.
在上提出任何问题Agda邮件列表或在Agda Zulip服务器.

编辑|历史|最近的更改（全部）|搜索

页面上次修改时间：2022年11月4日上午09:49

由提供动力私人维基