every-bit-counts-0.1: README

List of files in this directory
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Games.hs, Games.v 
  Definition of games, encoder and decoder, proofs of game properties.

BasicGames.hs
  Combinator libraries and examples. 

Iso.hs, Iso.v 
  Isomorphism library. 

SetGames.hs, NatGames.hs 
  Encodings of sets and natural numbers 

FilterGames.hs 
  Filtering games

UTLC.hs, STLC.hs
  Games for untyped and typed lambda-calculi 

Huffman.hs
  Huffman codes, static and adaptive dictionaries.