alt
Hacker News
psuedobrain
•
today at 10:29 AM
•
0 replies
•
view on HN
Slight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?
alt Hacker News