海の向こうでAgda本が出るらしい
本日Agda-MLに流れてきた話によると、Aaron Stumpさんという型方*1がAgda本を執筆中で、出版社とも交渉中とのこと。現在のドラフト版が
https://svn.divms.uiowa.edu/repos/clc/projects/agda/book/
にあります。興味がある方はご一読を。ドラフトを15年春までに、と仰っているので、出るのは2015年中ぐらいでしょうか・・・
*1:私は面識はありません
本日Agda-MLに流れてきた話によると、Aaron Stumpさんという型方*1がAgda本を執筆中で、出版社とも交渉中とのこと。現在のドラフト版が
https://svn.divms.uiowa.edu/repos/clc/projects/agda/book/
にあります。興味がある方はご一読を。ドラフトを15年春までに、と仰っているので、出るのは2015年中ぐらいでしょうか・・・
*1:私は面識はありません