最近闲下来的时候其实一直有在玩Agda。其实之前也知道Agda，但是由于Coq的相关资料更多，而且那时候我在Windows平台上无法安装Agda（old-times库的问题），于是拖到近来PLFA这本书的中文翻译动工才开始跟着看。 我的第一感觉就是，Agda真的很好入门。Agda的语法和Haskel […]
Recommended Posts
-
没有图片
2016.11.20
类OI趣题 – 拼写修正 -
2020.03.12
XCTF高校战“疫”区块链Writeup + 合约逆向题技巧分享 -
没有图片
2017.04.28
简单验证码识别实现
Comments