every-bit-counts-0.1: A functional pearl on encoding and decoding using question-and-answer strategies

UTLC

Documentation

data Exp Source

Constructors

Var Nat 
Lam Exp 
App Exp Exp 

Instances

expGame :: Nat -> Game ExpSource