Skip to content

Update src/Ledger/Conway/Foreign/HSLedger/ExternalStructures.agda

e1913ad
Select commit
Loading
Failed to load commit list.
Merged

Replace a call to error in our FFI with a safe alternative #650

Update src/Ledger/Conway/Foreign/HSLedger/ExternalStructures.agda
e1913ad
Select commit
Loading
Failed to load commit list.