Program synthesis for compact representation of data

λ.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