Introit used in a sentence

Introit in a sentence as a noun

Com/yatima-inc/introit/blob/main/Equal. ya, implements the more standard homogenous/Martin-Löf equality, but this is just a library, not a language builtin.