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 | ||
|---|---|---|---|---|
Latest commit | ||||
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