urbit/developers.urbit.org
1
1
Fork 0
mirror of https://github.com/urbit/developers.urbit.org.git synced 2024-09-11 13:55:59 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update dojo.md

Browse Source
This commit is contained in:
Sigilante 2022-10-24 15:17:40 -05:00 committed by GitHub
parent 7f32cec036
commit 91e1a709fe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
content/overview/dojo.md
View File

@ -354,7 +354,7 @@ way.
- `?` gives the type as printed by `hoon.hoon`.
- `??` shows the type noun as-is.
- `???` shows the `hoon` of the expression.
- `????` does nothing.
- `????` reveals the `spec` of a gate.
- `?????` uses an “x-ray” pretty-printer.
```hoon
@ -384,8 +384,8 @@ way.
]
]
> ???? `@da`(add ~2000.1.1 ~d366)
~2001.1.1
> ???? add
$-([a=@ b=@] @)
> ????? `@da`(add ~2000.1.1 ~d366)
@da