nornagon | orbitz: add more rounding :) (or fromInteger) :t div |

lambdabot | forall a. (Integral a) => a -> a -> a |

sorear | dons: patch sent |

orbitz | what does sqrt not like that? |

nornagon | :t sqrt |

lambdabot | forall a. (Floating a) => a -> a |

bd_ | :t div |

ddarius | @type fromIntegral |

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

nornagon | :t (^) |

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

nornagon | sqrt does not take Ints. you have to fromIntegral. use sqrt.fromIntegral. |

ivanm | @type (^) |

orbitz | i fi change to: h = sqrt $ fromInteger (size^2 - size2^2) I get, Couldn't match expected type `Integer' against inferred type `Int' |

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

orbitz | oh form Integral |

ivanm | @type (**) |

lambdabot | forall a. (Floating a) => a -> a -> a |

pjd | falconair: these two posts by Dan Piponi might (or not) be interesting/relevant |

nornagon | :t (^^) |

pjd | http://sigfpe.blogspot.com/2006/11/from-l-theorem-to-spreadsheet.html http://sigfpe.blogspot.com/2007/02/comonads-and-reading-from-future.html |

lambdabot | Title: A Neighborhood of Infinity: From Löb's Theorem to Spreadsheet Evaluation, http://tinyurl.com/22eoxu Title: A Neighborhood of Infinity: Comonads and reading from the future, http://tinyurl.com/2gjj3d forall a b. (Integral b, Fractional a) => a -> b -> a |

nornagon | @botsmash |

lambdabot | Unknown command, try @list |

kc5tja | @src mod |

lambdabot | Source not found. Maybe if you used more than just two fingers... |

kc5tja | hmmm... I used 9 appendages to type that command -- I think lambdabot needs an abject lesson in cordiality. |

sorear | dons: I've sent another patch |

falconair | crap, comonads ... i have enough trouble getting through basic catamorphisms :) thanks pjd, I'll go through your references |

dons | thanks sorear |

pjd | falconair: it's more the Lb's theorem that's relevant, not comomads :) |

falconair | good, let's see if i learn any thing :) |

orbitz | nornagon: hrmm, No instance for (Num (a -> b)) ? |