wrhn
Comment

Comment by gottlobflegel

Listing Agda and Idris 2 under CIC makes your lambda hierarchy diagram misleading at best.
parent gottlobflegel 4 months ago

No comments yet

Be the first to share your thoughts.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton