kodellama2 我们创建的Kodellama语言的解释器。 2014年秋季在UVA的CS4240项目

科德拉玛2我们创建的Kodellama语言的解释器。 2014年秋季在UVA的CS4240项目。这个解释器涵盖了Kodellama语言的一个子集，我们设计为可供那些几乎没有编程经验的人使用。该语言旨在与开发环境和运行时结合使用，允许用户与其程序交互以查看发生了什么，从而促进教学；这些作品将在稍后添加。该存储库包含语言核心。本自述文件首先描述了Kodellama的依赖关系以及如何构建和运行它（第I部分），然后简要概述了该语言的当前状态（第II部分）。 Scelerus和MattIrv ====第一部分构建和运行Kodellama需要Coq 8.4或更高版本和Ocaml 3.12或更高版本（虽然它可能适用于旧版本，但尚未经过测试）。它只在linux和mac osx上测试过，但也可以在windows上运