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.