最近闲下来的时候其实一直有在玩Agda。其实之前也知道Agda，但是由于Coq的相关资料更多，而且那时候我在Windows平台上无法安装Agda（old-times库的问题），于是拖到近来PLFA这本书的中文翻译动工才开始跟着看。 我的第一感觉就是，Agda真的很好入门。Agda的语法和Haskel […]
Recommended Posts
-
没有图片
2016.11.27
从Ndom语浅谈语言中的进制 -
没有图片
2018.07.04
简明机器学习教程（二）——实践：进入Tensorflow世界 -
没有图片
2017.01.31
Java虚拟机测试题
Comments