Every Witness Found

The core language is complete. It supports a cli and basic jupyter notebook interaction. It's efficient enough to quickly synthesize example combinator programs.