brianhempel/maniposynth
Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.
OCaml
Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.
OCaml