[Agda] Strict equality _≣_ in agda

[Herminie Pagel]

Hi,

Is there a standard interpretation of the strict equality _≣_ (latex \===)
in agda similar to the standard interpretation of _≡_  as the identity type
former?

best,

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