This is a fork from termite2/synthesis made to compile with more recent Haskell environments.
achreto / termite2-synthesis Goto Github PK
View Code? Open in Web Editor NEWThis project forked from termite2/synthesis
Termite synthesis engine
License: BSD 3-Clause "New" or "Revised" License