Skip to content

Commit b6176fd

Browse files
zliu41kwxm
andauthored
Update src/plutus/builtin.md
Co-authored-by: Kenneth MacKenzie <[email protected]>
1 parent 1d74021 commit b6176fd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/plutus/builtin.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ Surrogate characters in the range `U+D800` - `U+DFFF` are replaced with the Unic
4343

4444
A list of type `list(𝑡)` is written as a syntactic list `[𝑐₁, … ,𝑐ₙ]`, where each `𝑐ᵢ ∈ 𝐂(𝑡)`.
4545

46-
A pair of type `pair(𝑡₁, 𝑡₂)` is written as a syntactic pair `(𝑐₁, 𝑐₂)` where `𝑐₁ ∈ 𝐂(𝑡₁)` and `𝑐2 ∈ 𝐂(𝑡₂)`.
46+
A pair of type `pair(𝑡₁, 𝑡₂)` is written as a syntactic pair `(𝑐₁, 𝑐₂)` where `𝑐₁ ∈ 𝐂(𝑡₁)` and `𝑐₂ ∈ 𝐂(𝑡₂)`.
4747

4848
Some valid constant expressions are:
4949
- `(con (list integer) [11, 22, 33])`

0 commit comments

Comments
 (0)