A functional pearl on encoding and decoding using question-and-answer strategies http://research.microsoft.com/en-us/people/dimitris/pearl.pdf

Latest on Hackage:0.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD3 licensed by Dimitrios Vytiniotis and Andrew Kennedy
Maintained by dons@galois.com
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.

Depends on:
Used by 1 package:
comments powered byDisqus