info2 ocaml:info2练习的代码 源码

功能编程和验证(IN0003) 设置 我们提供了一个虚拟机,其中已经设置了所有内容,还提供了有关如何使用它的视频(请参阅Moodle)。 如果您不想使用虚拟机,请运行./setup.sh ,更换软件包管理器,例如在macOS上的brew )。 这样可以确保您已经安装了并通过安装了某些软件包。 作为编辑器,我们建议使用带有 (或者,如果您知道的话,也可以使用 )。 在Windows下所有Linux和macOS均可使用和 。 用法 每周使用git pull获取新的练习文件(以及用于家庭作业的模板)(如果需要修复某些内容,可以更频繁地获取)。 您可以使用git log --patch跟踪更改。