Abstract: The identification of errors in code via automated code analysis and repair is of ever-growing importance in modern software development and education. This paper describes a language ...

The project is in an experimental, pre-alpha, exploratory phase with the intention to be productionized. We move fast, break things, and explore various aspects of the seamless developer experience ...