Movatterモバイル変換

[0]ホーム
URL:

packageledit

  1. Overview
  2. Docs

You can search for identifiers within the package.

in-package search v0.2.0

Line editor, a la rlwrap

Install

Dune Dependency

Authors

Maintainers

Sources

ledit-2-06.tar.gz
sha512=d82f89e329fc13262266c8d606bf4bc14d6d1a785d05e4d53fe169e07a8b0ab563d8d41c95eed0a3235d6795a5300b954a343c6e326bf04fa2eea50686a6aa89

Description

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

Published:24 Dec 2022

Dependencies (4)

  1. ocamlfind
  2. camlp-streams
  3. camlp5> "7.99"
  4. ocaml>= "4.03.0"

Dev Dependencies

None

Used by (2)

  1. hol_light
  2. rdbg= "1.196.12"
[8]ページ先頭
©2009-2025 Movatter.jp