psuedobrain·6 か月前·議論Slight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?