<div dir="ltr">Hi,<br><br><div>Is there a standard interpretation of the strict equality _≣_ (latex \===) in agda similar to the standard interpretation of _≡_  as the identity type former?</div><div><br></div><div>best,</div><div><br></div><div>-- h<br></div></div>