A Small implementation of binary reduction in python.
Should use Python 3.9 or higher.
If you find it usefull, please cite the paper:
Christian Gram Kalhauge and Jens Palsberg. 2021. Logical bytecode reduction. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021). Association for Computing Machinery, New York, NY, USA, 1003–1016. DOI:https://doi.org/10.1145/3453483.3454091