← Back to context

Comment by psuedobrain

14 hours ago

Slight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?

0 comments

psuedobrain

Reply

No comments yet

Contribute on Hacker News ↗