📄️ Overview of Languages Compiling to UPLC
Untyped Plutus Core (UPLC) is the assembly-like language that runs in Cardano nodes for transaction validation.
📄️ Haddock Documentation
Haddock is a tool for automatically generating documentation from annotated Haskell source code.
📄️ Plutus Tx compiler options
<!---
📄️ Cost Model
The cost model is used to determine the portion of the transaction fee that accounts for Plutus script execution.
📄️ Understanding Script Hashes
Script hashes are a core concept and play a vital role on Cardano.
📄️ Encoding Data Types in UPLC
Untyped Plutus Core (UPLC) is a language based on untyped lambda calculus.
📄️ Further Resources
1. [Formal Specification of