OCaml(的一些子集)的有形值的双模文本编辑和直接操作驱动的合成。Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml. (2023-03-23, OCaml, 82680KB, 下载0次)