Hacker News new | ask | show | jobs
by psuedobrain 154 days ago
Slight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?