package down

  1. Overview
  2. Docs
An OCaml toplevel (REPL) upgrade

Install

Dune Dependency

Authors

Maintainers

Sources

down-0.3.0.tbz
sha512=03d4a5e82da97ac7814f93385d1a216976976ed7b00693c1e4fa24f6ea2e15121b39344bc599b82e1d2fea12d87663810c2aaca920af1d8b4db5682c6ec61dc6

Description

Down is an unintrusive user experience upgrade for the ocaml toplevel (REPL).

Simply load the zero dependency Down library in the ocaml toplevel and you get line edition, history, session support and identifier completion and documentation (courtesy of ocp-index).

Add this to your ~/.ocamlinit:

#use "down.top"

tty

Down is distributed under the ISC license.

Homepage: http://erratique.ch/software/down

Tags

dev toplevel repl org:erratique

Published: 30 Apr 2024

README

down — An OCaml toplevel (REPL) upgrade

v0.3.0

Down is an unintrusive user experience upgrade for the ocaml toplevel (REPL).

Simply load the zero dependency Down library in the ocaml toplevel and you get line edition, history, session support and identifier completion and documentation (courtesy of ocp-index).

Add this to your ~/.ocamlinit:

#use "down.top"

Down is distributed under the ISC license.

Homepage: http://erratique.ch/software/down

Installation

down can be installed with opam:

opam install down

If you don't use opam consult the opam file for build instructions.

Quick start

Simply run ocaml and load the library:

> ocaml
...
# #use "down.top";;
Down loaded. Type Down.help () for more info.
# List.con^t
  List.cons : 'a -> 'a list -> 'a list
  List.concat : 'a list list -> 'a list
# List.con

You can add this #use "down.top" invocation to your ~/.ocamlinit file.

For ocamlnat you will likely have to invoke it with -noinit and you must issue #use "down.nattop".

Documentation

The manual can be consulted online or via odig doc down.

Dependencies (4)

  1. topkg build & >= "1.0.3"
  2. ocamlbuild build
  3. ocamlfind build
  4. ocaml >= "4.14.0"

Dev Dependencies (1)

  1. uucp dev

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.