liquid-haskell

5calore

1risposta

LiquidHaskell: in mancanza di legge di DeMorgan

Sto avendo difficoltà a comprovare il seguente legge con LiquidHaskell: E 'noto come (uno dei) legge di DeMorgan, e semplicemente afferma che la negazione della or ing due valori deve essere uguale a

haskell z3 boolean-logic liquid-haskell 2016-04-23

---