ralsei / bingus

A program synthesizer for code in the How to Design Programs curriculum

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.

Installation

raco pkg install

Usage

Don't. Not yet.

Why's it called Bingus?