<div dir="ltr"><div>Hi,<br></div><div><br></div><div>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:</div><div><a href="https://github.com/agda/agda-spec">https://github.com/agda/agda-spec</a></div><div><br></div><div>I thought it would be good to open a separate thread to update some info about this.</div><div><br></div><div>-- h<br></div></div>