Install the tool by typing (in the main dir):
pip install -e .You can enter the "sample" directory and run some tests.
"factorial.py" is a program which computes the factorial of a number using PHIDIAS plans. Run it using:
$ python3 factorial.py
The PHIDIAS shell will be displayed. Now enter
eShell: main > fact(10)
The program will compute the factorial of 10 and will show:
the resuilting factorial is 3628800