haskell-ja > Archives

2013/06/06 00:38:00 UTCcutsea110

Relation.Binary.PropositionalEquality.≡-Reasoning使うと証明らしくなるけど、emacsでどこにhole置いて支援されるのか最初分からなかった。

ikegamiさんのProofSummitのスライドに少しあったのでそれを試してなんとなく分かったけど。