Merge pull request #471 from nospur-sontud/patch-3

Update 1a.md
This commit is contained in:
tinnus-napbus 2023-08-11 23:10:25 +12:00 committed by GitHub
commit 032e77a4be
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -241,12 +241,7 @@ An [`atom`](/reference/glossary/atom).
~/ %div
|: [a=`@`1 b=`@`1]
^- @
~_ leaf+"divide-by-zero"
?< =(0 b)
=+ c=0
|-
?: (lth a b) c
$(a (sub a b), c +(c))
-:(dvr a b)
```
#### Examples
@ -302,10 +297,14 @@ A cell of [`atoms`](/reference/glossary/atom).
```hoon
++ dvr
~/ %dvr
|= [a=@ b=@]
|: [a=`@`1 b=`@`1]
^- [p=@ q=@]
[(div a b) (mod a b)]
~_ leaf+"divide-by-zero"
?< =(0 b)
=+ c=0
|-
?: (lth a b) [c a]
$(a (sub a b), c +(c))
```
#### Examples