Idrisでラムゼーの有名なやつ、リベンジ

出来たので上げます。
定理証明はあきらめて、計算で示すことにした。

完全6点グラフK6の15本の辺から、任意の3本を選ぶ。（comb）
これにmap allとanyをかます。

メイン関数ramseyは、引数をそのまま渡すもの（赤い三角形）と、
引数をnotして渡すもの（青い三角形）との論理和を取る。

ビルドして実行すると、Trueの海が生成される。

まあでも、このラムゼーのやつに関しては、
直感的に実装できたEgisonに軍配かな。

.
.