require

A language for inputs with a failure probability.

Preliminary:

Haskell Stack is needed to build the project.

Usage:

1. unpack the package to any directory and change to the decompressed folder.
2. execute in cmdline: stack install to install
3. use require-test <filename> to start the interpreter.

Test Examples

See examples directory.

Documents for the library:

execute stack haddock to obtain the haddock documents.

Formal report:

see doc directory.