nptel

KC Sivaramakrishnan宣布了一本面向NPTEL的交互式OCaml课程书籍，该书籍可直接在浏览器中运行代码，无需安装和维护服务器。