[Agda] agda-spec horizon

[Herminie Pagel]

Hi,

I think that Liang-Ting was asking in the Small Kernel thread about the
progress of the repository that holds the specification of Agda. As he
noted, it seems not to be completed and has been still for 3 years:
https://github.com/agda/agda-spec

I thought it would be good to open a separate thread to update some info
about this.

-- h
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191219/31f9c00d/attachment.html>