2
Positiva estrita
Desta referência: Estrita positividade A estrita condição de positividade exclui declarações como data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Por que A é negativo? Também porque B é permitido? Eu …