Lambda.Defs

This module provides the means (via function dictionary) of constructing a dictionary of terms to be used by the rewriting functions.

dictionary : String -> Dict String String

Construct a dictionary of pairs for rewrite rules from an input string.