/maniposynth

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

Primary LanguageOCaml

Stargazers