windows agda

#如何在Window安装Agda

我也是初学者,花了很多时间安装,给后来人一个方便吧,争取能帮到别人

##一键安装

http://homepage.divms.uiowa.edu/~astump/agda/

这个网站是UIO的连接,鉴于Agda官网都没有Windows支持,只能指望有人做懒人包了
下载后会获得一个.exe,杀软可能提示,不过绝对安全,可以放心安装
安装后获得一个emac for agda就可以使用了(位于开始菜单(左下角Windows start))

及其简单方便无脑,不用浪费时间去安装乱七八糟的,大佬勿喷…
如果有更好的解决方案更好,不过我只能做到这个地步了

谢谢