copilot-0.21: A lazy-list language for generating constant-time and constant-space C programs. Uses Atom as a backend.

Language.Copilot.Examples.Examples

Documentation

fib :: Streams Source

t1 :: Streams Source

t2 :: Streams Source

t3 :: Streams Source

t4 :: Streams Source

t5 :: Streams Source

yy :: Streams Source

zz :: Streams Source

xx :: Streams Source

engine :: Streams Source

dist :: DistributedStreams Source

gcd :: Word16 -> Word16 -> Streams Source

gcd' :: Streams Source

testCoercions :: Streams Source

testCoercionsInt :: Streams Source

testRules :: Streams Source

i8 :: Streams Source

trap :: Streams Source