Equations
- One or more equations did not get rendered due to their size.
Equations
- List.instAlternative = { toApplicative := List.instMonad.toApplicative, failure := @List.nil, orElse := fun {α : Type ?u.7} (l : List α) (l' : Unit → List α) => l.append (l' ()) }