dbuenzli/down

An OCaml toplevel (REPL) upgrade

OCaml

90

106 commits

updated Aug 13, 2026

See the code

README

down — An OCaml toplevel (REPL) upgrade

%%VERSION%%

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

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.

Documentation

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

Contributors

dbuenzli

100 commits

nojb

3 commits

kit-ty-kate

1 commits

pqwy

1 commits

dbuenzli/down

An OCaml toplevel (REPL) upgrade

OCaml

90

106 commits

updated Aug 13, 2026

See the code

README

down — An OCaml toplevel (REPL) upgrade

%%VERSION%%

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

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.

Documentation

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

Contributors

dbuenzli

100 commits

nojb

3 commits

kit-ty-kate

1 commits

pqwy

1 commits

Languages

OCaml

99.9%