Fucking install guide: How to install Adga in Win10

噢,我的上帝啊,世界上怎么会有这么多劝退新人的教程呢! 我在配置 Haskell 环境的时候,遇到了超多的问题(对我这种萌新来说,是绝对的折磨)。在配置 Agda 的时候获得了极大的帮助,得以简单的安装完成,但配置方法与官方文档上的教程存在不少出入(官方教程老麻烦了),所以...

Link