2015-04-17から1日間の記事一覧
去年のProofsummitのときに、Agdaという言語はなぜそういう名前なのかという話を飲み会でしたら結構好評だったので、あらためて調べたことも含めて。Agdaとは何かというと、これのことみたい。 実際、Agda the henでググってみると http://bit.ly/1aBKbbH と…
去年のProofsummitのときに、Agdaという言語はなぜそういう名前なのかという話を飲み会でしたら結構好評だったので、あらためて調べたことも含めて。Agdaとは何かというと、これのことみたい。 実際、Agda the henでググってみると http://bit.ly/1aBKbbH と…