From 0f99905ea6622f5bbc366f9fcc6351486186e3e9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 5 Dec 2012 12:06:05 -0500 Subject: [PATCH] updated examples --- xlang/example.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/xlang/example.rkt b/xlang/example.rkt index 5fa4de1..71fc8c3 100644 --- a/xlang/example.rkt +++ b/xlang/example.rkt @@ -1,6 +1,8 @@ #lang xlang -(S K K K) +((S K K K) 4 5) +(K 5 6) +(K 5 6) -(K 5 6) \ No newline at end of file +(X K) \ No newline at end of file