Drop notSigma - Githubissues

hexresearch / hschain-utxo

UTXO-based contracts for hschain

0 stars 0 forks source link

Closed Shimuuar closed 4 years ago

Shimuuar commented 4 years ago

Negation of sigma expressions is meaningless and we made it ill typed long ago. Kill last remains of it