Language.Copilot.Examples.Examples
fib
t1
t3
t4
t5
yy
maj1
zz
xx
distrib
monitor
gcd
gcd'
testCoercions
testCoercions2
testCoercions3
i8
trap
testArr
t99
t11
tdiv
extT
interpretExtT
compileExtT
extT2
extT3
extT4
extT5
extT6