A functional pearl on encoding and decoding using question-and-answer strategies http://research.microsoft.com/en-us/people/dimitris/pearl.pdf
|Latest on Hackage:||0.1|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
Definition of games, encoder and decoder, proofs of game properties.
Combinator libraries and examples.
Encodings of sets and natural numbers
Games for untyped and typed lambda-calculi
Huffman codes, static and adaptive dictionaries.