Search results

Instance resolution bug with Functor-Vec

Status: Open.

#27 In agda/agda-stdlib-classes;

· WhatisRT opened on Jan 12, 2026

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

Change fixity of if_then_else_ in Class.ToBool to 0

Status: Open.

#14 In agda/agda-stdlib-classes;

· carlostome opened on Feb 6, 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