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

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

Agdaでカリーのパラドックス

Agdaでカリーのパラドックスをやってみた。
自信作です。
ポイントは(X ≡ (X → Y)) → Xを先に考える事です。

Agda/Curry5.agda at master · righ1113/Agda · GitHub