We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d8b6574 commit ed78f12Copy full SHA for ed78f12
docs/reference/specifications/psp-1.mdx
@@ -350,7 +350,7 @@ Registry pinning details are defined in
350
- Literals and Terms
351
- Literals are builtin predicates: Builtin(`op`, [args...]). `op` is a string
352
identifier of a registered builtin (see Appendix B for the catalog; pinning
353
- in [Section 4.4, \_Semantic Pinning](#44-semantic-pinning)).
+ in [Section 4.4, _Semantic Pinning_](#44-semantic-pinning)).
354
- Terms are ground: Str | Int | Bool | Bytes. No variables. No user-defined
355
atoms.
356
- Int is arbitrary-precision. Floats are not permitted.
0 commit comments