brianhempel/maniposynth
Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.
正在读取项目信息…
Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.