From e318627ddbc2c8ae33ee8f3f144c6366e3a14539 Mon Sep 17 00:00:00 2001 From: Harold Carr Date: Mon, 3 Jul 2017 21:17:18 -0700 Subject: [PATCH] supply missing `in` metafunction --- redex-doc/redex/scribblings/long-tut/mon-aft.scrbl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/redex-doc/redex/scribblings/long-tut/mon-aft.scrbl b/redex-doc/redex/scribblings/long-tut/mon-aft.scrbl index 45e0f2b5..06b7dee4 100644 --- a/redex-doc/redex/scribblings/long-tut/mon-aft.scrbl +++ b/redex-doc/redex/scribblings/long-tut/mon-aft.scrbl @@ -207,7 +207,10 @@ Here are two more metafunctions that use patterns in interesting ways: (where #false (in x (x_1 ...)))] [(subtract1 (x ...) x_1) (x ...)]) - +(define-metafunction Lambda + in : x (x ...) -> boolean + [(in x (x_1 ... x x_2 ...)) #true] + [(in x (x_1 ...)) #false]) )) @;%