[Agda] example with --sharing

Nils Anders Danielsson nad at cse.gu.se
Tue Oct 4 14:25:16 CEST 2016


On 2016-10-04 13:49, Sergei Meshveliani wrote:
> I fail to link to "Report a bug", so I report here.

https://github.com/agda/agda/issues

-- 
/NAD


More information about the Agda mailing list