Skip to content

Commit

Permalink
added the term Haddock where the public Plutus code libraries are men…
Browse files Browse the repository at this point in the history
…tioned since it is a term likely to be used in searches (#6190)
  • Loading branch information
joseph-fajen committed Jun 7, 2024
1 parent 3f2e83b commit c9b77f5
Showing 1 changed file with 8 additions and 5 deletions.
13 changes: 8 additions & 5 deletions docusaurus/docs/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -17,12 +17,12 @@ All of these elements are used in combination to write Plutus Core scripts that

To develop and deploy a smart contract, you also need off-chain code for building transactions, submitting transactions, deploying smart contracts, querying for available UTXOs on the chain, and so on. You may also want a front-end interface for your smart contract for a better user experience.

Plutus allows all programming to be done from a single Haskell library. This lets developers build secure applications, forge new assets, and create smart contracts in a predictable, deterministic environment with the highest level of assurance. Furthemore, developers don’t have to run a full Cardano node to test their work.
Plutus allows all programming to be done from a [single Haskell library](https://intersectmbo.github.io/plutus/master/). This lets developers build secure applications, forge new assets, and create smart contracts in a predictable, deterministic environment with the highest level of assurance. Furthemore, developers don’t have to run a full Cardano node to test their work.

With Plutus you can:

- Forge new tokens in a lightweight environment
- Build smart contracts
- Forge new tokens in a lightweight environment,
- Build smart contracts, and
- Support basic multi-sig scripts.

## Getting started with Plutus Tx
Expand All @@ -41,8 +41,11 @@ See, for example:

## The Plutus repository

The [Plutus repository](https://github.com/IntersectMBO/plutus) contains the implementation, specification, and mechanized metatheory of Plutus Core.
It also contains the Plutus Tx compiler and the [combined documentation for all the public Plutus code libraries](https://intersectmbo.github.io/plutus/master/), such as `PlutusTx.List`, for writing Haskell code that can be compiled to Plutus Core.
The [Plutus repository](https://github.com/IntersectMBO/plutus) includes:

* the implementation, specification, and mechanized metatheory of Plutus Core
* the Plutus Tx compiler
* the combined documentation, generated using Haddock, for all the [public Plutus code libraries](https://intersectmbo.github.io/plutus/master/), such as `PlutusTx.List`, enabling developers to write Haskell code that can be compiled to Plutus Core.

## Educational resources

Expand Down

0 comments on commit c9b77f5

Please sign in to comment.