[Agda] Repository with executable agda code.

[mechvel at scico.botik.ru]

On 2019-08-27 21:25, Apostolis Xekoukoulotakis wrote:
> 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.
> 


For example, various libraries are pointed at on
     https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries

I believe they are easily retrievable.

--
SM