您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. info2-ocaml:info2练习的代码-源码

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

    • 发布日期:2021-02-21
    • 文件大小:3145728
    • 提供者:weixin_42144199