The every-bit-counts package

[Tags: bsd3, library]

A functional pearl on encoding and decoding using question-and-answer strategies


[Skip to ReadMe]

Properties

Version0.1
Change logNone available
Dependenciesbase (>=3 && <5), haskell98 [details]
LicenseBSD3
AuthorDimitrios Vytiniotis and Andrew Kennedy
Maintainerdons@galois.com
CategoryData
Home pagehttp://research.microsoft.com/en-us/people/dimitris/pearl.pdf
UploadedMon Sep 27 16:36:09 UTC 2010 by DonaldStewart
DistributionsNixOS:0.1
Downloads249 total (8 in last 30 days)
Votes
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for every-bit-counts-0.1

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.