2000 character limit reached
GopCaml: A Structural Editor for OCaml
Published 15 Jul 2022 in cs.PL | (2207.07423v1)
Abstract: This talk presents Gopcaml-mode, the first structural editing plugin for OCaml. We will give a tour of the main plugin features, discussing the plugin's internal design and its integration with existing OCaml and GNU Emacs toolchains.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.