nyu-pl-dev Introduction 一个包含了Cory课上所涉及的编程语言(C++, Java, prolog, Ada, racket)的开发环境,基于vscode的devcontainer功能和docker进行构建 How to use 在您的环境上安装docker和vscode 安装vscode的插件devcontainer 在repo的目录下运行cmd+shift+p, 执行命令> Dev container: Rebuild and Reopen In Container TODO 在docker中安装sml