2014-06-03から1日間の記事一覧
構成的型理論についての代表著作「Programming in Martin-Löf's Type Theory」をAgdaで書きながら勉強するgithubリポジトリを作成しました。 https://github.com/kino3/PiMLTT元論文PDF http://www.cse.chalmers.se/research/group/logic/book/ぼちぼち更新…
構成的型理論についての代表著作「Programming in Martin-Löf's Type Theory」をAgdaで書きながら勉強するgithubリポジトリを作成しました。 https://github.com/kino3/PiMLTT元論文PDF http://www.cse.chalmers.se/research/group/logic/book/ぼちぼち更新…