LambdaDesigner.Lib

Documentation

topRunner :: IO (Tree TOP -> IO ())

run :: Op a => IORef Messages -> [Tree a] -> IO ()

run2 :: (Op a, Op b) => IORef Messages -> [Tree a] -> [Tree b] -> IO ()