Issues

• Instance resolution bug with Functor-Vec

  agda/agda-stdlib-classes#27 · Filter by author WhatisRT opened on Jan 12, 2026
  3

• Change fixity of if_then_else_ in Class.ToBool to 0

  agda/agda-stdlib-classes#14 · Filter by author carlostome opened on Feb 6, 2025
  2