Skip to content

Supply implicit argument for agda/agda#7390 #2540

Supply implicit argument for agda/agda#7390

Supply implicit argument for agda/agda#7390 #2540