Theory Code_Test_Haskell

theory Code_Test_Haskell
imports CakeML_Code
theory Code_Test_Haskell
imports "../CakeML_Code"
begin

export_code evaluate fun_evaluate fun_evaluate_prog prim_sem_env
  checking Haskell

end