主要/
\主要

系统快速指南

（：重定向[[Main.QuickGuideToEditingTypeCheckingAndCompilingAgdaCode]]：）

编辑|历史|最近的更改 （全部）|搜索
最后一次修改日期为2008年12月2日凌晨03:11
技术支持私人维基