[Agda] id number in html?

Nils Anders Danielsson nad at cse.gu.se
Wed Jun 8 20:42:39 CEST 2022


On 2022-06-08 15:29, Jason Hu wrote:
> That’s what I remembered in older versions. Is it still the case in 2.6+?

At least in the latest release.

-- 
/NAD


More information about the Agda mailing list