サークル名

Dodgson Labs

紹介文

関数型プログラミング言語や形式手法に関する情報を発信しています。