最近闲下来的时候其实一直有在玩Agda。其实之前也知道Agda，但是由于Coq的相关资料更多，而且那时候我在Windows平台上无法安装Agda（old-times库的问题），于是拖到近来PLFA这本书的中文翻译动工才开始跟着看。 我的第一感觉就是，Agda真的很好入门。Agda的语法和Haskel […]
Recommended Posts
-
没有图片
2016.12.25
圣经和合本语料库（含分词）&查询API正式开放 -
没有图片
2016.03.20
[Java]关于Deflate、GZip格式网页的解压 -
2018.11.23
图为虚，实为音 – IOL2017个人赛T4题解
Comments