From dfdce519e09f58f49a5b73c5ebcfb5cddd31eda4 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Fri, 1 Oct 2010 20:43:47 -0400 Subject: [PATCH] edit --- temp | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 temp diff --git a/temp b/temp deleted file mode 100644 index 46f37af2..00000000 --- a/temp +++ /dev/null @@ -1,13 +0,0 @@ -let empty = (\f (\z z)) in -let ml = (\h (\t (\f (\z ((f h) ((t f) z)))))) in -let list = ((ml a) ((ml b) ((ml c) ((ml d) ((ml e) empty))))) in -let map = (\f (\l (l (\h (\t ((ml (f h)) t)))))) in - -( - -list - -((map (\x x)) list) - -) - -- 2.11.0