I'm trying to use TLC, but I'm getting the error:
In evaluation, the identifier chan is either undefined or not an
Channel is the module from Specifying Systems.
I don't see what's wrong with my specs. Any hints?
Description: Binary data