every-bit-counts-0.1: A functional pearl on encoding and decoding using question-and-answer strategies
NatGames
type Pos = IntSource
binaryIso :: ISO Pos (Nat, Pos)Source
eliasGame :: Game Nat -> Game PosSource
isOneIso :: ISO Pos (Either () Pos)Source
factIso :: [Int] -> ISO Int (Either Int Int)Source
factGame :: Game PosSource