search

hexresearch / hschain-utxo

UTXO-based contracts for hschain
0 stars 0 forks source link

Fixes for recursion checks #152

Closed Shimuuar closed 3 years ago

Shimuuar commented 3 years ago
  1. Drop check that let is not recursive. It's not recursive by construction
  2. Correctly compute set of free variables for nonrecursive let