[fireball-separation.git] / ocaml / problems / simple.evil

$!\r
D x (y. x (z. y z))\r
C x (y. x (z. y y))\r