Docs raise visibility code libraries

docusaurus/docs/index.md

@@ -36,8 +36,9 @@ This involves using Plutus Tx to write scripts, requiring some knowledge of the
 This guide is also meant for certification companies, certification auditors, and people who need an accurate specification. 
 See, for example:
 
-- the [Cardano Ledger Specification](https://github.com/IntersectMBO/cardano-ledger#cardano-ledger) and
-- the [Plutus Core Specification](https://github.com/IntersectMBO/plutus#specifications-and-design).
+- the [Cardano ledger specification](https://github.com/IntersectMBO/cardano-ledger#cardano-ledger)
+- the [Plutus Core specification](https://github.com/IntersectMBO/plutus#specifications-and-design)
+- the [public Plutus code libraries](https://intersectmbo.github.io/plutus/master/) generated using Haddock. 
 
 ## The Plutus repository
 

docusaurus/docs/reference/_category_.json

@@ -3,6 +3,6 @@
  "position": 70,
  "link": {
  "type": "generated-index",
- "description": "The Reference section covers Plutus Tx compiler options, script optimization techniques, common weaknesses, Plutus language changes, and how upgrading to Vasil can impact script addresses."
+ "description": "The Reference section covers Haddock documentation, Plutus Tx compiler options, script optimization techniques, common weaknesses, Plutus language changes, and how upgrading to Vasil can impact script addresses."
  }
  }

docusaurus/docs/reference/haddock-documentation.md

@@ -0,0 +1,17 @@
+---
+sidebar_position: 3
+---
+
+# Haddock documentation
+
+## Public Plutus code libraries
+
+The documentation generated by Haddock provides a comprehehsive reference for the [public Plutus code libraries](https://intersectmbo.github.io/plutus/master/), an essential resource for developers working with Haskell and Plutus Core. 
+
+### Highlighted modules
+
+Highlighted modules in the documentation include the following:
+- [PlutusTx](https://intersectmbo.github.io/plutus/master/plutus-tx/html/PlutusTx.html): compiling Haskell to PLC (Plutus Core; on-chain code)
+- [PlutusTx.Prelude](https://intersectmbo.github.io/plutus/master/plutus-tx/html/PlutusTx-Prelude.html): Haskell prelude replacement compatible with PLC
+- [PlutusCore](https://intersectmbo.github.io/plutus/master/plutus-core/html/PlutusCore.html): programming language in which scripts on the Cardano blockchain are written
+- [UntypedPlutusCore](https://intersectmbo.github.io/plutus/master/plutus-core/html/UntypedPlutusCore.html): on-chain Plutus code.