uu-cco-examples-0.1.0.1: src/TcArithBool.hs

import CCO.ArithBool  (checkTy)
import CCO.Component  (component, printer, ioWrap)
import CCO.Tree       (parser, Tree (fromTree, toTree))
import Control.Arrow  (Arrow (arr), (>>>))

main = ioWrap $ parser >>> component toTree >>>
                component checkTy >>>
                arr fromTree >>> printer