Documentation

poly :: forall repr h. Lang repr => repr h (Double -> Double) Source #

l2 :: Lang r => r h (Double -> Double) Source #

comp :: Lang r => r h (Double -> Double) Source #

solve :: forall m. Monad m => (AST -> m ()) -> (Integer -> Double -> m ()) -> m Double Source #

main :: IO () Source #