コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Entries from 2016-11-16 to 1 day

Agdaで加法の交換法則

Agdaのインストールについては Agdaのインストール | righ1113のブログ を参照ください。Agda 入門 を参考にしながら、というか写しで書いてみた。 module plus where import Relation.Binary.PropositionalEquality as PropEq open PropEq using (_≡_; refl…