fixes bug for let-expressions in type-checker

hexresearch / hschain-utxo

UTXO-based contracts for hschain

0 stars 0 forks source link

Closed anton-k closed 3 years ago

anton-k commented 3 years ago

Fixes bug in let-expressions for type-checker. Let-expressions accept only single bind. List of binds is reserved for letrec-expressions.