2014-11-06から1日間の記事一覧
本日Agda-MLに流れてきた話によると、Aaron Stumpさんという型方*1がAgda本を執筆中で、出版社とも交渉中とのこと。現在のドラフト版が https://svn.divms.uiowa.edu/repos/clc/projects/agda/book/ にあります。興味がある方はご一読を。ドラフトを15年春ま…
本日Agda-MLに流れてきた話によると、Aaron Stumpさんという型方*1がAgda本を執筆中で、出版社とも交渉中とのこと。現在のドラフト版が https://svn.divms.uiowa.edu/repos/clc/projects/agda/book/ にあります。興味がある方はご一読を。ドラフトを15年春ま…