From 3bf899086f0aeb5fd193be8b1f2354568f0593ad Mon Sep 17 00:00:00 2001 From: acondolu Date: Thu, 14 Jun 2018 14:03:18 +0200 Subject: [PATCH] More evil problems --- ocaml/problems/simple.evil | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/ocaml/problems/simple.evil b/ocaml/problems/simple.evil index e4d4b64..60c3bbf 100644 --- a/ocaml/problems/simple.evil +++ b/ocaml/problems/simple.evil @@ -1,3 +1,15 @@ $! D x (y. x (z. y z)) C x (y. x (z. y y)) + +$! +D x (y1. x (y2. x (y3. y1 y2 y3))) +C x (y1. x (y2. x (y3. y1 y1 y3))) +C x (y1. x (y2. x (y3. y1 y3 y3))) +C x (y1. x (y2. x (y3. y1 y2 y1))) +C x (y1. x (y2. x (y3. y1 y2 y2))) + +$! +D x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y4)))) +C x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y1)))) +C x (y1. x (y2. x (y3. x (y4. y1 y2 y1 y4)))) -- 2.39.2