http://atnd.org/events/6687を作ってみました。画像はそのまま、スタープラチナが良かった気もしますが。これは何なのかとゆーと、以前Go言語が出た時に、http://atnd.org/events/2115 というものをやったのですが、それのRakudo Star版です。 一日Perl6の…

あらまし http://twitter.com/MoCo7/status/19336249733MoCo7さんのretweetで発見ティンと来た！！！http://estatis.coders.fm/falso/なんかCoqっぽいコードがあるけど何やってるか分かりません。 Agda2で {-# OPTIONS --universe-polymorphism #-} module F…