| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Certifier
Description
Interface to automatically extracted code from plutus-cert (Coq): - Conversion functions for PIR's AST to the representation in Coq. - Boolean decision procedures for translation relations
Synopsis
- is_dead_code ∷ Term a → Term a → Bool
- is_unique ∷ Term a → Bool