3 ms·Listing Agda and Idris 2 under CIC makes your lambda hierarchy diagram misleading at best.by gottlobflegel 4mo agoListing Agda and Idris 2 under CIC makes your lambda hierarchy diagram misleading at best.