From b31b823450bfc3fb0ca32ca71ea828c9fb3f2465 Mon Sep 17 00:00:00 2001 From: Michael Peyton Jones Date: Mon, 8 Jul 2019 11:02:53 +0100 Subject: [PATCH 1/2] Fix some links --- plutus-book/doc/04-smartcont.adoc | 2 +- plutus-book/doc/token/token.adoc | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/plutus-book/doc/04-smartcont.adoc b/plutus-book/doc/04-smartcont.adoc index ce6df11b027..5ccc0aa8ec7 100644 --- a/plutus-book/doc/04-smartcont.adoc +++ b/plutus-book/doc/04-smartcont.adoc @@ -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 -<>. +<>. == Loans diff --git a/plutus-book/doc/token/token.adoc b/plutus-book/doc/token/token.adoc index c8570b2add7..8fdeb4f5567 100644 --- a/plutus-book/doc/token/token.adoc +++ b/plutus-book/doc/token/token.adoc @@ -8,7 +8,7 @@ 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. @@ -16,7 +16,7 @@ What is a `Value` in Plutus? [source,haskell] ---- -newtype Value = Value +newtype Value = Value {getValue :: Map CurrencySymbol (Map TokenName Integer)} ---- From 95fdde0e2fc0d6ce5c7ca29a8b187f112def1a75 Mon Sep 17 00:00:00 2001 From: Michael Peyton Jones Date: Mon, 8 Jul 2019 11:03:09 +0100 Subject: [PATCH 2/2] Add id for bibliography and glossary sections --- plutus-book/doc/02-glossary.adoc | 2 +- plutus-book/doc/bibliography.adoc | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/plutus-book/doc/02-glossary.adoc b/plutus-book/doc/02-glossary.adoc index 4db723531f6..cf09649ac7f 100644 --- a/plutus-book/doc/02-glossary.adoc +++ b/plutus-book/doc/02-glossary.adoc @@ -1,4 +1,4 @@ -[glossary] +[glossary#glossary] = Glossary Extended UTxO :: diff --git a/plutus-book/doc/bibliography.adoc b/plutus-book/doc/bibliography.adoc index 481fd48a8db..9baa6c1e837 100644 --- a/plutus-book/doc/bibliography.adoc +++ b/plutus-book/doc/bibliography.adoc @@ -1,4 +1,4 @@ -[bibliography] +[bibliography#bibliography] = References - [[[deleg,1]]] Jared Corduan, Polina Vinogradova, and Matthias Gudemann. @@ -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.