import LeanFoundations.PL.Imp
import LeanFoundations.PL.ImpParser
import LeanFoundations.PL.ImpCEvalFun

WIP #

Just copied from Software Foundations. We are going to do the adaptation in Lean.

Contents #

• LeanFoundations.PL.Imp: Simple imperative programs
• LeanFoundations.PL.ImpParser: Lexing and parsing in Lean
• LeanFoundations.PL.ImpCEvalFun: Evaluation function for Imp