Skip to content

Fix compilation with agda/agda#7581 #2684

Fix compilation with agda/agda#7581

Fix compilation with agda/agda#7581 #2684