<div dir="ltr">Finding executable programs written in agda is a rare. There is no point after all to execute something. :)<div><br></div><div>Maybe we could create a repository with free software written in agda.</div><div>I know that people do write such software, but they never make it public, or easily retrievable.<br></div></div>