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

STLC

Documentation

data Ty Source

Constructors

TyNat 
TyArr Ty Ty 

Instances

data Exp Source

Constructors

Var Nat 
Lam Ty Exp 
App Exp Exp 

Instances

tyG :: Game TySource

type Env = [Ty]Source

typeOf :: Env -> Exp -> TySource

data Pat Source

Constructors

Any 
PArr Ty Pat 

matches :: Pat -> Ty -> BoolSource

varGame :: (Ty -> Bool) -> Env -> Maybe (Game Nat)Source

expGame :: Env -> Pat -> Game ExpSource

progGame :: Game ExpSource

expGameCheck :: Env -> Ty -> Game ExpSource

listsOfLength :: Int -> [[Bit]]Source