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
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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