2014-06-28から1日間の記事一覧
Agdaをさわりはじめてかれこれ2年ぐらいになる。最近ようやく、Agdaの面白さがわかってきて、それを広めたいという気持ちになってきたのでこうしていろいろ書いている。Agdaについてまとまった日本語の情報はあまりに少なく、まとまった日本語の情報がないと…
Agdaをさわりはじめてかれこれ2年ぐらいになる。最近ようやく、Agdaの面白さがわかってきて、それを広めたいという気持ちになってきたのでこうしていろいろ書いている。Agdaについてまとまった日本語の情報はあまりに少なく、まとまった日本語の情報がないと…