6 Jun
2022
6 Jun
'22
8:55 p.m.
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.