Skip to content
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

Merged
merged 4 commits into from
Sep 18, 2024
Merged

Conversation

zliu41
Copy link
Member

@zliu41 zliu41 commented Sep 16, 2024

Renamed the page to "Plutus Core and Plutus Tx" and made a number of improvements.

@zliu41 zliu41 added the No Changelog Required Add this to skip the Changelog Check label Sep 16, 2024
@zliu41 zliu41 requested a review from a team September 16, 2024 19:53
Copy link
Contributor

@zeme-wana zeme-wana left a 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

…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.
Copy link
Contributor

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.

Copy link
Member Author

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.

@zliu41 zliu41 merged commit 2d3b78e into master Sep 18, 2024
1 of 3 checks passed
@zliu41 zliu41 deleted the zliu41/foundation branch September 18, 2024 00:36
v0d1ch pushed a commit to v0d1ch/plutus that referenced this pull request Dec 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
No Changelog Required Add this to skip the Changelog Check
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants