=== Poi Reduce Help ===
Made by Sven Nilsen, 2020

Poi is based on the theory of path semantics:
https://github.com/advancedresearch/path_semantics

Special commands:
- bye            quits the program
- inline all     inlines all definitions from previous expression
- ``             prints separator for readability
- eval <expr>    evaluates expression
- echo <expr>    prints out debug format of expression
- goal <expr>    set expression as new goal
- reset goal     reset goal
- inc depth      increase search depth for goal
- reset depth    reset search depth
- min depth      automated minimum depth toward goal
- pick depth     user chooses equivalence toward goal
- def <symbol>   lists definitions of symbol
- std            lists all rules in standard library
- help goal      more help about goal oriented theorem proving
- help norm      more help about normal paths
- help sym       more help about symmetric paths
- help asym      more help about asymmetric paths
- help eqv       more help about equivalent expressions
- help dom       more help about domains and partial functions
- help triv      more help about trivial paths
- help ex        more help about existential paths
- help rad       more help about radians (trigonometry)
- help imag      more help about imaginary number (complex numbers)
- help eps       more help about epsilon (dual numbers)

Type in an expression in path semantics, e.g. `and[not]`
