Updates high-level constructors for sigma-expressions.
Improves simplification of sigma expressions. Adds strict type rules
to discriminate bools from sigmas.
Adds evaluation of scripts in the core language.
Removes redundant definition for sigma-expressions in the core. we can rely on already defined sigma-expressions.
Updates high-level constructors for sigma-expressions. Improves simplification of sigma expressions. Adds strict type rules to discriminate bools from sigmas.
Adds evaluation of scripts in the core language. Removes redundant definition for sigma-expressions in the core. we can rely on already defined sigma-expressions.