Software foundations

新しいほう、リストの表記法が変ってた。
[1,2,3] から [1;2;3]に
ほかに、rememberタクティックは廃止？
destruct (beq_nat n 5) eqn:Heq5
みたいな。destructでまとめて書けるようになっているっぽい。で

しかし、このへんのことちゃんと習いたいな。ProofCafeってまだやってるみたいだけど名古屋か・・・まあそもそもついていける気もせんけどな。