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

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