Section の中での Parameter は、End で引数になると勘違いしていたので、 過去の日記をいくつか直した。
Parameter だと coqide で色が変わって警告されるんだからその時点で調べろという話だな...
[latest]