lambdabot | Couldn't match expected type `[Char] -> t' |

nornagon | doh. :t fix |

nmessenger | > fix show |

lambdabot | forall a. (a -> a) -> a "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\... |

nornagon | @karma+ nmessenger |

lambdabot | nmessenger's karma raised to 7. |

nmessenger | > foldr (.) id (replicate 4 show) $ "hi" |

lambdabot | "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\"\\\\\\\"\\\"\"" |

narain | > concatMap ((++"\"") . flip repeat '\\' . (2**)) [0..] |

lambdabot | Couldn't match expected type `b -> c' against inferred type `[b1]' |

nmessenger | flip replicate? |

narain | > concatMap ((++"\"") . flip replicate '\\' . (2**)) [0..] |

lambdabot | add an instance declaration for (Floating Int) |

narain | :( |

nmessenger | (2^)? |

narain | :t (^) |

lambdabot | forall a b. (Integral b, Num a) => a -> b -> a |

narain | > concatMap ((++"\"") . flip replicate '\\' . (2^)) [0..] |

lambdabot | "\\\"\\\\\"\\\\\\\\\"\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\... |

narain | bah, extra escaping > let s1 = fix show; s2 = concatMap ((++"\"") . flip replicate '\\' . (subtract 1) (2^)) [0..] in concatMap (show . fromEnum) $ zipWith (==) s1 s2 |

nmessenger | > concatMap ((++"\"") . flip replicate '\\') (scanl1 (+) [0..])] |

lambdabot | add an instance declaration for (Num (a -> Int)) Parse error |

nmessenger | > concatMap ((++"\"") . flip replicate '\\') (scanl1 (+) [0..]) |

lambdabot | "\"\\\"\\\\\\\"\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\... |

narain | > let s1 = fix show; s2 = concatMap ((++"\"") . flip replicate '\\' . (subtract 1) (2^)) [0..] in s2 |

lambdabot | add an instance declaration for (Num (a -> Int)) |

narain | > let s1 = fix show; s2 = concatMap ((++"\"") . flip replicate '\\' . (subtract 1) . (2^)) [0..] in s2 |

lambdabot | "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\... |

narain | > let s1 = fix show; s2 = concatMap ((++"\"") . flip replicate '\\' . (subtract 1) . (2^)) [0..] in zipWith (==) s1 s2 |

lambdabot | [True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,... |

nmessenger | > let x = concatMap ((++"\"") . flip replicate '\\') (scanl1 (+) [0..]); y = fix show in take 1000 x == take 1000 y |

narain | aha |

lambdabot | False |

narain | huh? |

nmessenger | > let x = concatMap ((++"\"") . flip replicate '\\') (scanl1 (+) [0..]); y = fix show in take 10 x == take 10 y |

lambdabot | True |