Hacker News new | ask | show | jobs
by gottlobflegel 6 days ago
Listing Agda and Idris 2 under CIC makes your lambda hierarchy diagram misleading at best.