Text this: A short course on error-correcting codes :