package ledit

  1. Overview
  2. Docs
Line editor, a la rlwrap

Install

Dune Dependency

Authors

Maintainers

Sources

ledit-2.03.tgz
sha256=ce08a8568c964009ccb0cbba45ae78b9a96c823f42a4fd61431a5b0c2c7a19ce
md5=3a70ee7d5d5e2dfb905a1ac2e1e60276

Description

One-line editor written in OCaml. It provides line editing for the Caml toplevels, as well as other interactive Unix commands.

Published: 21 Nov 2013

Dependencies (2)

  1. camlp5 <= "7.99"
  2. ocaml < "4.06.0"

Dev Dependencies

None

Used by (2)

  1. hol_light
  2. rdbg = "1.196.12"

Conflicts

None

OCaml

Innovation. Community. Security.