Self-identifying base encodings in Idris - View it on GitHub