Search results

Version numbers in .agda-lib file?

questionFurther information is requestedFurther information is requested

Status: Open.

#25 In agda/agda-stdlib-classes;

· omelkonian opened on Aug 5, 2025

Decide on the kind of functors

questionFurther information is requestedFurther information is requested

Status: Open.

#2 In agda/agda-stdlib-classes;

· omelkonian opened on Jan 16, 2024