Skip to content

Small typo in forall_inst

image

Should say "and 𝑥𝑖 and t𝑘𝑖 have the same sort" instead of "and 𝑥𝑖 and 𝑘𝑖 have the same sort". Should it really be xi and not xki though?

Edited by Lachnitt
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information