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.

Sign up for GitHub

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

More minor fixes #1254

Merged
merged 2 commits into from
Jul 8, 2019
Merged

More minor fixes #1254

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b31b823
Fix some links
michaelpj Jul 8, 2019
95fdde0
Add id for bibliography and glossary sections
michaelpj Jul 8, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion plutus-book/doc/02-glossary.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
[glossary]
[glossary#glossary]
= Glossary

Extended UTxO ::
Expand Down
2 changes: 1 addition & 1 deletion plutus-book/doc/04-smartcont.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -211,7 +211,7 @@ regular ownership document. We will discuss how exactly such a unique ID
can be constructed in the extended UTxO model.

We will look at how to handle custom tokens in chapter
<<token/token.adoc#token>>.
<<token#token>>.

== Loans

Expand Down
4 changes: 2 additions & 2 deletions plutus-book/doc/bibliography.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
[bibliography]
[bibliography#bibliography]
= References

- [[[deleg,1]]] Jared Corduan, Polina Vinogradova, and Matthias Gudemann.
Expand All @@ -17,6 +17,6 @@ Available at https://github.com/input-output-hk/cardano-ledger-specs.
Multi-currency on the UTXO Ledger. Technical report, IOHK, 2019.
Available at https://github.com/input-output-hk/plutus/tree/master/docs/multi-currency.

- [[[plutuscore,4]]] Rebecca Valentine, Kenneth MacKenzie, James Chapman, Philip Wadler, Michael Peyton Jones, and Manuel Chakravarty.
- [[[plutuscore,5]]] Rebecca Valentine, Kenneth MacKenzie, James Chapman, Philip Wadler, Michael Peyton Jones, and Manuel Chakravarty.
Formal Specification of the Plutus Core Language. Technical report, IOHK, 2019.
Available at https://github.com/input-output-hk/plutus/tree/master/plutus-core-spec.
4 changes: 2 additions & 2 deletions plutus-book/doc/token/token.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,15 @@ seeing as Ada is the fundamental currency supported by Cardano.

Plutus offers a more general concept of _value_, though,
supporting custom fungible, non-fungible, and mixed tokens
(see <<04-smartcont.adoc#tokens>>),
(see <<04-smartcont#tokens>>),
and in this chapter, we want to demonstrate how to go beyond Ada
and work with other tokens.

What is a `Value` in Plutus?

[source,haskell]
----
newtype Value = Value
newtype Value = Value
{getValue :: Map CurrencySymbol (Map TokenName Integer)}
----

Expand Down