------------------------------------------------------------------------ -- A formalisation of CBS -- -- Nils Anders Danielsson ------------------------------------------------------------------------ module README where -- Syntax, small-step semantics. import CBS