require

A language for inputs with a failure probability.

Preliminary:

Haskell Stack is needed to build the project.

Usage:

unpack the package to any directory and change to the decompressed folder.
execute in cmdline: stack install to install
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.