Agda-2.6.0: A dependently typed functional programming language and proof assistant

Insert implicit patterns in a list of patterns. Even if DontExpandLast, trailing SIZELT patterns are inserted.
Insert implicit patterns in a list of patterns. Even if DontExpandLast, trailing SIZELT patterns are inserted.