From: acondolu Date: Mon, 11 Jun 2018 14:22:04 +0000 (+0200) Subject: Real evil problem found! X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=refs%2Fheads%2Fstrong_simple_constants;p=fireball-separation.git Real evil problem found! One must store arguments for later usage :-( --- diff --git a/ocaml/problems/simple.evil b/ocaml/problems/simple.evil new file mode 100644 index 0000000..e4d4b64 --- /dev/null +++ b/ocaml/problems/simple.evil @@ -0,0 +1,3 @@ +$! +D x (y. x (z. y z)) +C x (y. x (z. y y))