<div dir="ltr"><div>So there is an interesting tool in Haskell that generates programs of a given type, it's called Djinn.</div><div><br></div><div>To use this tool in the browser: <a href="https://www.hedonisticlearning.com/djinn/">https://www.hedonisticlearning.com/djinn/</a></div><div><br></div><div>So using the tools afforded by Mercury, what do you think would be the simplest way to implement a similar tool?</div><div><br></div><div>Aistis Raulinaitis<br></div></div>