2008-08-09から1日間の記事一覧
が、まずAgdaに先立つんじゃないかと思ったので、遠回りながらCayenneからやっています。 で、Cayenneの面白さはHaskell(少なくともfunctional language)を知っているのと、型理論とかにある程度以上明るいと良いのですが、私は前者はなんとかなってるとして…
が、まずAgdaに先立つんじゃないかと思ったので、遠回りながらCayenneからやっています。 で、Cayenneの面白さはHaskell(少なくともfunctional language)を知っているのと、型理論とかにある程度以上明るいと良いのですが、私は前者はなんとかなってるとして…