This is a python 3 implementation of APReF.
Checkout More details about APReF.
pip install sympy
python apref.py -f <haskell-file> --scan --constfold
You can run the code.hs file as an example:
python apref.py -f code.hs --scan --constfold
APReF's implementation in Python 3
Repository from Github https://github.comafnan47/APReF-using-python3
This is a python 3 implementation of APReF.
Checkout More details about APReF.
pip install sympy
python apref.py -f <haskell-file> --scan --constfold
You can run the code.hs file as an example:
python apref.py -f code.hs --scan --constfold
APReF's implementation in Python 3