ReactiveML distribution

The most recent version of ReactiveML is 1.09.06. It was released on 2020-09-23. Please consult the list of changes.

A source distribution with examples is available:

The INSTALL file of the distribution provides detailed compilation and installation instruction.

ReactiveML is also available as an OPAM package. Binary distributions are available on request.