boblehest

module SimpleProcedureChecking where

-- Uses extended BTL expression AST from L0502
import ExtendedBTLAST

-- Uses typing framework from L0502
import ExtendedBTLDeclarations

-- Uses extended BIPL statements and interpreters from L0602
import EvalBstAst

boblehest

module UnitTests where

import ExtendedBTLAST
import ExtendedBTLDeclarations
import EvalBstAst
import InterpretBiplAst
import WellTypedAST
import SimpleProcedure
import SimpleProcedureChecking