2
Строгая позитивность
Из этой ссылки: Строгий позитив Строгое условие позитивности исключает такие объявления, как data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Почему А отрицательный? Также почему Б разрешено? Я понимаю, почему C …