Cascade-0.1.0.0: Playing with reified categorical composition

Safe HaskellNone
LanguageHaskell2010

Cascade.Examples

Documentation

rundmc :: IO (DebuggerM IO `[String, String, (), [Char]]` () []) Source

zigzag :: CascadeC c ts -> CascadeC c ts -> CascadeC c ts Source