>>460
>coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
中身の仕組み知らんでプログラミングしてるの？

いったいどんなプログラム書いてきたの？なんか怖いな･･･