EventML

To install EventML, please look at the INSTALL file.

This repository contains EventML's implementation including:

• EventML's sources in sources and terms.

• Nuprl interpreters in evaluators.

• Examples of EventML specifications in examples.

• Nuprl's library of definitions and lemmas in lib. Some of them can be imported into EventML.

• A Scala runtime environment in scala.

• EventML's Emacs interface in ui.