From 7797b8ff3fc3b0df4073a078a2a93cb326a53704 Mon Sep 17 00:00:00 2001 From: techieAgnostic Date: Sat, 6 Jul 2019 04:41:05 +1200 Subject: [PATCH] fixups --- boom.hs | 75 ----------------------------------------------------------------- 1 file changed, 75 deletions(-) diff --git a/boom.hs b/boom.hs index 858856f..3bacdb0 100644 --- a/boom.hs +++ b/boom.hs @@ -139,78 +139,3 @@ class Reverse i l r | i l -> r instance Reverse i Nil i instance (Reverse (Cons x i) xs r) => Reverse i (Cons x xs) r - -{- - -*Main> :t solution (nil :: (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S Z)))))))))))))))))))))))))) - solution (nil :: (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S Z)))))))))))))))))))))))))) - :: Cons - (Cons Z Nil) - (Cons - (Cons (S Z) Nil) - (Cons - (Cons (S (S Z)) Nil) - (Cons - Boom - (Cons - (Cons (S (S (S (S Z)))) Nil) - (Cons - (Cons (S (S (S (S (S Z))))) Nil) - (Cons - (Cons (S (S (S (S (S (S Z)))))) Nil) - (Cons - (Cons (S (S (S (S (S (S (S Z))))))) Nil) - (Cons - (Cons (S (S (S (S (S (S (S (S Z)))))))) Nil) - (Cons - (Cons (S (S (S (S (S (S (S (S (S Z))))))))) Nil) - (Cons - (Cons (S Z) - (Cons Z Nil)) - (Cons - (Cons (S Z) - (Cons (S Z) Nil)) - (Cons - (Cons (S Z) - (Cons (S (S Z)) Nil)) - (Cons - Boom - (Cons - (Cons (S Z) - (Cons (S (S (S (S Z)))) Nil)) - (Cons - (Cons (S Z) - (Cons (S (S (S (S (S Z))))) Nil)) - (Cons - (Cons (S Z) - (Cons (S (S (S (S (S (S Z)))))) Nil)) - (Cons - (Cons (S Z) - (Cons (S (S (S (S (S (S (S Z))))))) Nil)) - (Cons - (Cons (S Z) - (Cons (S (S (S (S (S (S (S (S Z)))))))) Nil)) - (Cons - (Cons (S Z) - (Cons (S (S (S (S (S (S (S (S (S Z))))))))) Nil)) - (Cons - (Cons (S (S Z)) - (Cons Z Nil)) - (Cons - (Cons (S (S Z)) - (Cons (S Z) Nil)) - (Cons - (Cons (S (S Z)) - (Cons (S (S Z)) Nil)) - (Cons - Boom - (Cons - (Cons (S (S Z)) - (Cons (S (S (S (S Z)))) Nil)) - (Cons - (Cons (S (S Z)) - (Cons (S (S (S (S (S Z))))) Nil)) - Nil))))))))))))))))))))))))) -*Main> - --}