最近闲下来的时候其实一直有在玩Agda。其实之前也知道Agda，但是由于Coq的相关资料更多，而且那时候我在Windows平台上无法安装Agda（old-times库的问题），于是拖到近来PLFA这本书的中文翻译动工才开始跟着看。 我的第一感觉就是，Agda真的很好入门。Agda的语法和Haskel […]
Recommended Posts
-
没有图片
2019.11.11
路由器使用dogcom登录DrCOM整活记录 -
没有图片
2021.02.20
论如何又收一个新年解谜红包 – 2021 篇 -
没有图片
2016.03.20
[Java]关于Deflate、GZip格式网页的解压
Comments