| λ.py | lambda calculus with De Bruijn index |
| egraph.py | simplified e-graph implementation borrowing from Zucker, 2021 and Willsey et al., 2021 |
| enumerate.py | fast bigram conditioned DSL enumeration algorithm based on Tychonievich, 2013 |
git clone https://github.com/reciprocated/revel -b decon
# must have musescore binary in $PATH
python3.10 decon.py tunes/barry-harris.mid
