Gallina

で、さっそくGallinaの情報をあつめてみようとしたわけだが、GallinaってCoq上の言語(の一番シンプルなやつ)の名前なのかな…。もしかして去年と同じものを違う角度からしゃべってただけなんだろうか。つ、釣られた。無知と不勉強を露呈しまくり。