terms.dev
txt
json
groups
about
feed
equational reasoning:
Thinking in terms of values and expressions that can be substituted in all contexts (like math equations)