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

Fix markup in sophia_features.md #928

Merged
davidyuk merged 1 commits from github/fork/davidyuk/fix-docs-typo into master 2023-02-15 19:27:29 +09:00
Conversation 4 Commits 1 Files Changed 1 +4 -4
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/sophia_features.md
View File

@ -256,10 +256,10 @@ datatype bi('a) = Bi // bi is bivariant on 'a
The following facts apply here: The following facts apply here:
- `co('a)` is a subtype of `co('b) when `'a` is a subtype of `'b` - `co('a)` is a subtype of `co('b)` when `'a` is a subtype of `'b`
- `ct('a)` is a subtype of `ct('b) when `'b` is a subtype of `'a` - `ct('a)` is a subtype of `ct('b)` when `'b` is a subtype of `'a`
- `in('a)` is a subtype of `in('b) when `'a` is equal to `'b` - `in('a)` is a subtype of `in('b)` when `'a` is equal to `'b`
- `bi('a)` is a subtype of `bi('b) always - `bi('a)` is a subtype of `bi('b)` always
That altogether induce the following rules of subtyping in Sophia: That altogether induce the following rules of subtyping in Sophia: