2 ms·Slight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?by psuedobrain 8mo agoSlight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?