おもしろおかしいばかりだ
投稿者：equo (2009年09月25日 11時44分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
投稿者：equo (2009年09月25日 11時44分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
投稿者：Kando (2009年09月25日 9時54分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
投稿者：greentea (2009年09月25日 9時34分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
投稿者：greentea (2009年09月25日 9時30分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
投稿者：narunaru (2009年09月25日 4時41分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
投稿者：Anonymous Coward (2009年09月25日 0時29分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
投稿者：Anonymous Coward (2009年09月24日 23時00分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
投稿者：Porch (2009年09月24日 22時48分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
投稿者：Anonymous Coward (2009年09月24日 22時20分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
投稿者：kikumaru (2009年09月24日 21時55分)、コメント先：関数型プログラミング言語「Agda」の研修コースを産総研が開催
皆さんもソースを読むときに、行と行の間を読むような気持ちで見てほしい -- あるハッカー