psuedobrain·6 เดือนที่ผ่านมา·discussSlight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?