@a3_works

Following Tags5
Following Users15

ヾ(  l   _   l  〃)ノ゙ドン☆

関数型言語とかCoqとか