The every-bit-counts package

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

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

[Skip to Readme]


Versions 0.1
Dependencies base (>=3 && <5), haskell98 [details]
License BSD3
Author Dimitrios Vytiniotis and Andrew Kennedy
Category Data
Home page
Uploaded Mon Sep 27 16:36:09 UTC 2010 by DonaldStewart
Distributions NixOS:0.1
Downloads 546 total (5 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees

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.

  Combinator libraries and examples. 

Iso.hs, Iso.v 
  Isomorphism library. 

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

  Filtering games

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

  Huffman codes, static and adaptive dictionaries.