如何

如何在Windows Subsystem for Linux（WSL）上安装Agda（2019年11月）
如何在Emacs中输入Unicode字符：
Emacs模式组合键
使用Vim编辑Agda代码
如何查看Unicode字符
识字阿格达（或如何在LaTeX文档中包含Agda代码）
如何从源代码生成网页
如何使用自动校样搜索（C-C C-a）
如何处理性能问题

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

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

技术支持私人维基