-
Notifications
You must be signed in to change notification settings - Fork 483
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Rename and improve the Plutus foundation page #6488
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Rebase off master to fix the failing PlutusTx Template check
doc/docusaurus/docs/essential-concepts/plutus-core-and-plutus-tx.md
Outdated
Show resolved
Hide resolved
…tx.md Co-authored-by: Ana Pantilie <45069775+ana-pantilie@users.noreply.github.com>
It also facilitates the creation of simple, formally verified evaluators. | ||
|
||
Along with UPLC and its evaluator, we provide a compiler from Plutus Tx, a subset of Haskell, to UPLC. | ||
However, UPLC can be an easy compilation target for any language that supports functional-style programming, in particular immutable data and higher-order functions, both of which are widely adopted today in programming languages, and are particularly suited to Cardano's UTXO ledger model, where UTXOs are immutable. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You could be more specific and say eUTXO instead of UTXO.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think UTXO is much more frequently used. eUTXO is typically mentioned when emphasizing the difference between eUTXO and UTXO.
Renamed the page to "Plutus Core and Plutus Tx" and made a number of improvements.