mrsc

A toolkit for building multi-result supercompilers

Stars

Ecosystems: Scala

Statistics for this project are still being loaded, please check back later.

A Coq-based synthesis of Scala programs which are correct-by-construction

better implicit errors for scala