[Agda] Repository with executable agda code.

[Apostolis Xekoukoulotakis]

Finding executable programs written in agda is a rare. There is no point
after all to execute something. :)

Maybe we could create a repository with free software written in agda.
I know that people do write such software, but they never make it public,
or easily retrievable.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190827/b5c28356/attachment.html>