The every-bit-counts package

[ Tags: bsd3, data, library ] [ Propose Tags ]

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

Properties

Versions	0.1
Dependencies	base (>=3 && <5), haskell98 [details]
License	BSD3
Author	Dimitrios Vytiniotis and Andrew Kennedy
Maintainer	dons@galois.com
Category	Data
Home page	http://research.microsoft.com/en-us/people/dimitris/pearl.pdf
Uploaded	Mon Sep 27 16:36:09 UTC 2010 by DonaldStewart
Distributions	NixOS:0.1
Downloads	404 total (5 in the last 30 days)
Rating	0.0 (0 ratings) [clear rating] λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet] Hackage Matrix CI

Modules

[Index]

Downloads

every-bit-counts-0.1.tar.gz [browse] (Cabal source package)
Package description (included in the package)

Maintainer's Corner

For package maintainers and hackage trustees

edit package information

Readme for every-bit-counts-0.1

[back to package description]

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.