weixin_45889971的博客

原创 windows agda

#如何在Window安装Agda 我也是初学者,花了很多时间安装,给后来人一个方便吧,争取能帮到别人 ##一键安装 http://homepage.divms.uiowa.edu/~astump/agda/ 这个网站是UIO的连接,鉴于Agda官网都没有Windows支持,只能指望有人做懒人包了 下载后会获得一个.exe,杀软可能提示,不过绝对安全,可以放心安装 安装后获得一个emac for a...