Receipts

Paste a session contract — the receipt is what you get back.

Paste a session contract. The interpreter will check every line.