Bingus

A deeply work-in-progress program synthesizer for student code. Takes check-expects and signatures, and outputs a program with that signature satisfying the checks.