jxxcarlson / elm-lambda / 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.

show : Dict String String -> String

Construct a string representation of the given dictionary.