Language.RM.TypeLevel

Construct and run the machine

type family Run is :: Machine

data Machine

Instructions

data Instr

type Inc

type Dec

type Halt

Operands

data Ptr

type R

data Label

type L