QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Fix Typo and whitespace in sophia_features.md (#500)

Browse Source
This commit is contained in:
Hans Svensson 2024-01-25 09:57:08 +01:00 committed by GitHub
parent dbeb792ca5
commit 5c3b42aff1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
docs/sophia_features.md
View File

@ -84,7 +84,7 @@ the return value of the call.
```sophia ```sophia
contract interface VotingType = contract interface VotingType =
entrypoint : vote : string => unit entrypoint vote : string => unit
contract Voter = contract Voter =
entrypoint tryVote(v : VotingType, alt : string) = entrypoint tryVote(v : VotingType, alt : string) =
@ -204,7 +204,7 @@ When a `contract` or a `contract interface` implements another `contract interfa
#### Subtyping and variance #### Subtyping and variance
Subtyping in Sophia follows common rules that take type variance into account. As described by [Wikipedia](https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)), Subtyping in Sophia follows common rules that take type variance into account. As described by [Wikipedia](https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)),
>Variance refers to how subtyping between more complex types relates to subtyping between their components. >Variance refers to how subtyping between more complex types relates to subtyping between their components.
@ -224,11 +224,11 @@ A good example of where it matters can be pictured by subtyping of function type
```sophia ```sophia
contract interface Animal = contract interface Animal =
entrypoint age : () => int entrypoint age : () => int
contract Dog : Animal = contract Dog : Animal =
entrypoint age() = // ... entrypoint age() = // ...
entrypoint woof() = "woof" entrypoint woof() = "woof"
contract Cat : Animal = contract Cat : Animal =
entrypoint age() = // ... entrypoint age() = // ...
entrypoint meow() = "meow" entrypoint meow() = "meow"
@ -628,7 +628,7 @@ arithmetic operations:
- remainder (`x mod y`), satisfying `y * (x / y) + x mod y == x` for non-zero `y` - remainder (`x mod y`), satisfying `y * (x / y) + x mod y == x` for non-zero `y`
- exponentiation (`x ^ y`) - exponentiation (`x ^ y`)
All operations are *safe* with respect to overflow and underflow. All operations are *safe* with respect to overflow and underflow.
The division and modulo operations throw an arithmetic error if the The division and modulo operations throw an arithmetic error if the
right-hand operand is zero. right-hand operand is zero.