copilot-1.0: A stream DSL for writing embedded C monitors.

Language.Copilot.Examples.Examples

Synopsis

Documentation

fib :: Streams

t1 :: Streams

t3 :: Streams

t4 :: Streams

t5 :: Streams

yy :: Streams

zz :: Streams

xx :: Streams

engine :: Streams

distrib :: Streams

Sending over ports.

gcd :: Word16 -> Word16 -> Streams

gcd' :: Streams

testCoercions :: Streams

testCoercions2 :: Streams

testCoercions3 :: Streams

i8 :: Streams

trap :: Streams

testArr :: Streams

t99 :: Streams

t11 :: Streams