the goal is to use a reusable library to do this
to express a simple logical concept

such as "addition is an operator", "one is a number", "true is true",
something simple.

Reply via email to