Note: tests are currently failing due to a bug in the arithmoi library.
Practical arithmetic encoding (aka Gödel numbering) library for Haskell.