"mx" is a command line test driver for "libmx" (see below) evaluating both the type and the value of an lambda calculus expression (http://en.wikipedia.org/wiki/Lambda_calculus) provided by the user.
"libnpmx.so" ("npmx.dll" on MS Windows) is a NPAPI plugin (http://en.wikipedia.org/wiki/NPAPI) for the Mozilla Firefox web browser based on "libmx".
"libmx" provides a framework for dealing with (extended and optional typed) lambda calculus expressions. Among other features it provides
o a template instantiation machine for evaluating the value of an lambda calculus expression,
o a template instantiation machine for evaluating the Hindley-Milner type (http://en.wikipedia.org/wiki/Hindley-Milner) of an lambda calculus expression, and
o reference counter based memory management for lambda calculus expressions and types.
"libmx" is written in C (C99).
Be the first to post a review of libmx!