主要。Howto历史

隐藏次要编辑-显示对输出的更改

2022年11月4日上午10:00通过145.94.235.198-
将第1行更改为:
 
收件人:
(:title如何:)
2022年11月4日上午09:58通过145.94.235.198-
添加了第1-13行:
 
* [[https://schneide.blog/2019/11/11/compiling-and-using-agda-through-the-windows-linux-subsystem/|如何在Windows Linux子系统(WSL)上安装Agda]](2019年11月)
*如何在Emacs中输入Unicode字符:
** [[http://agda.readthedocs.io/en/latest/tools/emacs-mode.html#unicode-input |使用Agda输入法]]
**[[缩写|使用缩写模式]]
**[[XCompose|使用@@XCompose@@]]
*[[Docs.Emacs模式组合键|Emacs方式组合键]]
*[[VIMEditing|使用Vim编辑Agda代码]]
*[[Docs.How to See Unicode |如何查看Unicode字符]]
*[[Literate Agda]](或如何在LaTeX文档中包含Agda代码)
* [[http://agda.readthedocs.io/en/latest/tools/generating-html.html|如何从源代码生成网页]]
* [[http://agda.readthedocs.io/en/latest/tools/auto.html|如何使用自动校样搜索(C-C C-a)]]
*[[Main.PerformanceTips|如何处理性能问题]]
页面上次修改时间:2022年11月4日上午10:00
技术支持私人维基